Journal of Philosophical Logic 40 (6):767-804 (2011)

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic.
Keywords Dynamic topological logic  Spatial logic  Temporal logic  Multimodal logic  Topological dynamics
Categories (categorize this paper)
DOI 10.1007/s10992-010-9160-4
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,431
Through your library

References found in this work BETA

Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.

View all 8 references / Add more references

Citations of this work BETA

Dynamic Topological Logic of Metric Spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.

Add more citations

Similar books and articles


Added to PP index

Total views
27 ( #375,529 of 2,371,809 )

Recent downloads (6 months)
1 ( #557,530 of 2,371,809 )

How can I increase my downloads?


My notes