Sequent Calculi for the Modal µ-Calculus over S5

We present two sequent calculi for the modal µ-calculus over S5 and prove their completeness by using classical methods. One sequent calculus has an analytical cut rule and could be used for a decision procedure the other uses a modified version of the induction rule.We also provide a completeness theorem for Kozen's Axiomatization over S5 without using the completeness result established byWalukiewicz for the modal µ-calculus over arbitrary model

On Modal μ -Calculus and Gödel-Löb Logic

We show that the modal μ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after two iterations and answer to a question posed by van Benthem in [4]. Further, we introduce the modalμ ~-calculus by allowing fixpoint constructors for any formula where the fixpoint variable appears guarded but not necessarily positive and show that this calculus over GL collapses to the modal fragment, too. The latter result allows us a new proof of the de Jongh, Sambin Theorem and provides a simple algorithm to construct the fixpoint formul

Breather solitons in highly nonlocal media

We investigate the breathing of optical spatial solitons in highly nonlocal media. Generalizing the Ehrenfest theorem, we demonstrate that oscillations in beam width obey a fourth-order ordinary differential equation. Moreover, in actual highly nonlocal materials, the original accessible soliton model by Snyder and Mitchell [Science \textbf{276}, 1538 (1997)] cannot accurately describe the dynamics of self-confined beams as the transverse size oscillations have a period which not only depends on power but also on the initial width. Modeling the nonlinear response by a Poisson equation driven by the beam intensity we verify the theoretical results against numerical simulations.Comment: 7 pages, 4 figures, resubmitted to Physical Review

Interplay between multiple scattering and optical nonlinearity in liquid crystals

We discuss the role played by time-dependent scattering on light propagation in liquid crystals. In the linear regime, the effects of the molecular disorder accumulate in propagation, yielding a monotonic decrease in the beam spatial coherence. In the nonlinear case, despite the disorder-imposed Brownian-like motion to the self-guided waves, self-focusing increases the spatial coherence of the beam by inducing spatial localization. Eventually, a strong enhancement in the beam oscillations occurs when power is strong enough to induce self-steering, i.e. in the non-perturbative regime.SCOPUS: ar.jinfo:eu-repo/semantics/publishe

The Modal mu-Calculus and The Gödel-Löb Logic

We show that the modal µ-calculus over GL collapses to the modal fragment by showing that the fixpoint formula is reached after two iterations and answer to a question posed by van Benthem in [vBe06]. Further, we introduce the modal µ∼-calculus by allowing fixpoint constructors for any formula where the fixpoint variable appears guarded but not necessarily positive and show that this calculus over GL collapses to the modal fragment, too. The latter result allows us a new proof of the de Jongh, Sambin Theorem and provides a simple algorithm to construct the fixpoint formula

Electromagnetic confinement via spin-orbit interaction in anisotropic dielectrics

We investigate electromagnetic propagation in uniaxial dielectrics with a transversely varying orientation of the optic axis, the latter staying orthogonal everywhere to the propagation direction. In such a geometry, the field experiences no refractive index gradients, yet it acquires a transversely-modulated Pancharatnam-Berry phase, that is, a geometric phase originating from a spin-orbit interaction. We show that the periodic evolution of the geometric phase versus propagation gives rise to a longitudinally-invariant effective potential. In certain configurations, this geometric phase can provide transverse confinement and waveguiding. The theoretical findings are tested and validated against numerical simulations of the complete Maxwell's equations. Our results introduce and illustrate the role of geometric phases on electromagnetic propagation over distances well exceeding the diffraction length, paving the way to a whole new family of guided waves and waveguides which do not rely on refractive index tailoring.Comment: 16 pages, 4 figure

The modal μ-calculus hierarchy over restricted classes of transition systems

We study the strictness of the modal μ-calculus hierarchy over some restricted classes of transition systems. First, we prove that over transitive systems the hierarchy collapses to the alternation-free fragment. In order to do this the finite model theorem for transitive transition systems is proved. Further, we verify that if symmetry is added to transitivity the hierarchy collapses to the purely modal fragment. Finally, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite model

The Modal μ-Calculus Hierarchy on Restricted Classes of Transition Systems

We discuss the strictness of the modal µ-calculus hierarchy over some restricted classes of transition systems. First, we show that the hierarchy is strict over reflexive frames. By proving the finite model theorem for reflexive systems the same results holds for finite models. Second, we prove that over transitive systems the hierarchy collapses to the alternation-free fragment. In order to do this the finite model theorem for transitive transition systems is also proved. Further, we verify that if symmetry is added to transitivity the hierarchy collapses to the purely modal fragment