Dynamic Topological Logic Interpreted over Minimal Systems
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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesB. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
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.
Analytics
Monthly downloads |
Added to index2011-11-11Total downloads9 ( #114,124 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
