Journal of Philosophical Logic 40 (6):767-804 (2011)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Philip Kremer (2010). The Modal Logic of Continuous Functions on the Rational Numbers. Archive for Mathematical Logic 49 (4):519-527.
Hannes Leitgeb (2005). Interpreted Dynamical Systems and Qualitative Laws: From Neural Networks to Evolutionary Systems. Synthese 146 (1-2):189 - 202.
Daniele Mundici (1986). Inverse Topological Systems and Compactness in Abstract Model Theory. Journal of Symbolic Logic 51 (3):785-794.
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Wiebe van der Hoek & Elias Thijsse (2002). A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72 (1):61-84.
Wiebe van Der Hoek & Elias Thijsse (2002). A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72 (1):61 - 84.
David Morris (2002). Thinking the Body, From Hegel's Speculative Logic of Measure to Dynamic Systems Theory. Journal of Speculative Philosophy 16 (3):182-197.
David Fernández-Duque (2012). A Sound and Complete Axiomatization for Dynamic Topological Logic. Journal of Symbolic Logic 77 (3):947-969.
David Fernández Duque (2011). On the Modal Definability of Simulability by Finite Transitive Models. Studia Logica 98 (3):347-373.
Added to index2011-11-11
Total downloads11 ( #107,331 of 722,764 )
Recent downloads (6 months)2 ( #36,437 of 722,764 )
How can I increase my downloads?