Abstract
Dynamic Topological Logic (\(\mathcal{DTL}\)) 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 \(\mathcal{DTL}\) 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 \(\mathcal{DTL}\) translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while \(\mathcal{DTL}\)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 \(\mathcal{DTL}\) 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 \(\mathcal{DTL}\) 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.
Similar content being viewed by others
References
Aiello, M., Pratt-Harman, I., & van Benthem, J. (2007). Handbook of spatial logics (1st ed.). Springer.
Akin, E. (1993). The general topology of dynamical systems. Graduate Studies in Mathematics, American Mathematical Society.
Aleksandroff, P. (1937). Diskrete räume. Matematicheskii Sbornik, 2, 501–518.
Artemov, S. N., Davoren, J. M., & Nerode, A. (1997). Modal logics and topological semantics for hybrid systems. Technical Report MSI 97-05.
Fernández-Duque, D. (2007). Dynamic topological completeness for \(\mathbb{R}^2\). Logic Journal of the IGPL, 15(1), 77–107. doi:10.1093/jigpal/jzl036.
Fernández-Duque, D. (2009). Non-deterministic semantics for dynamic topological logic. Annals of Pure and Applied Logic, 157(2–3), 110–121. Kurt Gödel Centenary Research Prize Fellowships.
Gabelaia, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2006). Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, 142(1–3), 245–268.
Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in modal logic (Vol. 6, pp. 299–318). London: College Publications.
Konev, B., Kontchakov, R., Wolter, F., Zakharyaschev, M. (2006). On dynamic topological and metric logics. Studia Logica, 84, 129–160.
Kremer, P. (2006). The modal logic of continuous functions on Cantor space. Archive for Mathematical Logic, 45, 1021–1032.
Kremer, P. (2009). Dynamic topological \(\mathcal S\) 5. Annals of Pure and Applied Logic, 160, 96–116.
Kremer, P. (2010). The modal logic of continuous functions on the rational numbers. Archive for Mathematical Logic, 49(4), 519–527.
Kremer, P., & Mints, G. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131, 133–158.
Mints, G.& Zhang, T. (2005). Propositional logic of continuous transformations in Cantor space. Archive for Mathematical Logic, 44, 783–799.
Slavnov, S. (2003). Two counterexamples in the logic of dynamic topological systems. Technical Report TR-2003015, Cornell University.
Tarski, A. (1938). Der aussagenkalkül und die topologie. Fundamenta Mathematica, 31, 103–134.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fernández-Duque, D. Dynamic Topological Logic Interpreted over Minimal Systems. J Philos Logic 40, 767–804 (2011). https://doi.org/10.1007/s10992-010-9160-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-010-9160-4