This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most...

We propose algorithms to get representatives and the images of the moment map of conormal bundles of GL(p,C)×GL(q,C)-orbits in the flag variety of GL(p+q,C), and GL(p+q,C)-orbits and Sp(p,C)×Sp(q,C)-orbits in the flag variety of Sp(p+ q,C) and their signed Young diagrams.

We study the asymptotic behavior of almost-orbits of abstract evolution systems in Banach spaces with or without a Lipschitz assumption. In particular, we establish convergence, convergence in average and almost-convergence of almost-orbits both for the weak and the strong topologies based on the behavior of the orbits. We also analyze the set of almost-stationary points.

In this paper by means of a Poincaré map, we prove the existence of symmetric periodic orbits of the elliptic Sitnikov problem. Furthermore, using the presence of the Bernoulli shift as a subsystem of that Poincaré map, we prove that not all the periodic orbits of the Sitnikov problem are symmetric periodic orbits.

In this work we study the self-consistent chaotic transport of the vorticity in a two dimensional inviscid shear flow. In an active transport problem the advected field determines the velocity field through a dynamical constrain. The advection-diffusion equation can be reduced to a finite dimensional dynamical system given by an areapreserving self-consistent map obtained from a space-time disc...

We explore the properties of test-particle orbits in bumpy spacetimes—stationary, reflectionsymmetric, asymptotically flat solutions of Einstein equations that have a non-Kerr (anomalous) higher-order multipole-moment structure but can be tuned arbitrarily close to the Kerr metric. Future detectors should observe gravitational waves generated during inspirals of compact objects into supermassiv...

We consider the motion of coorbital satellites in the framework of the Restricted Three Body problem for We show a mechanism to generate horsehoe periodic orbits and we compute some families of horseshoe periodic orbits when vary ing the Jacobian constant We conclude that there exist stable horseshoe periodic orbits which t with the motion of Saturn coorbital satellites Janus and Epimetheus

We study the asymptotic behavior of almost-orbits of abstract evolution systems in Banach spaces with or without a Lipschitz assumption. In particular, we establish convergence, convergence in average and almost-convergence of almost-orbits both for the weak and the strong topologies based on the behavior of the orbits. We also analyze the set of almost-stationary points.

Using the continuation method we prove that the circular and the elliptic symmetric periodic orbits of the planar rotating Kepler problem can be continued into periodic orbits of the planar collision restricted 3–body problem. Additionally, we also continue to this restricted problem the so called “comets orbits”.

An approximate Poincare map near equally strong multiple resonances is reduced by means the method of averaging. Near the resonance junction of three degrees of freedom, we find that some homoclinic orbits “whiskers” in single resonance lines survive and form nearly periodic orbits, each of which looks like a pair of homoclinic orbits.