Journal of Symbolic Logic

A sound and complete axiomatization for Dynamic Topological Logic

David Fernández-Duque

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


Dynamic Topological Logic (𝒟𝒯ℒ) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of 𝒟𝒯ℒ over the class of all dynamical systems has proven to be quite elusive.

Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in a different context. We then provide a sound axiomatization for 𝒟𝒯ℒ over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof.

Article information

J. Symbolic Logic, Volume 77, Issue 3 (2012), 947-969.

First available in Project Euclid: 13 August 2012

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier


Fernández-Duque, David. A sound and complete axiomatization for Dynamic Topological Logic. J. Symbolic Logic 77 (2012), no. 3, 947--969. doi:10.2178/jsl/1344862169.

Export citation


  • S. N. Artemov, J. M. Davoren, and A. Nerode Modal logics and topological semantics for hybrid systems, Technical Report MSI 97-05, Cornell University,1997.
  • Guram Bezhanishvili, Leo Esakia, and David Gabelaia Some results on modal axiomatization and definability for topological spaces, Studia Logica, vol. 81(2005), no. 3, pp. 325–355.
  • Guram Bezhanishvili and Mai Gehrke Completeness of $\mathsf{S4}$ with respect to the real line: revisited, Annals of Pure and Applied Logic, vol. 131(2005), no. 1–3, pp. 287–301.
  • A. Dawar and M. Otto Modal characterisation theorems over special classes of frames, Annals of Pure and Applied Logic, vol. 161(2009), pp. 1–42, Extended journal version LICS 2005 paper.
  • D. Fernández-Duque Non-deterministic semantics for dynamic topological logic, Annals of Pure and Applied Logic, vol. 157(2009), no. 2–3, pp. 110–121, Kurt Gödel Centenary Research Prize Fellowships.
  • –––– Absolute completeness of $\mathsf{S4}u$ for its measure-theoretic semantics., Advances in modal logic, College Publications,2010, pp. 100–119.
  • –––– Dynamic topological logic interpreted over minimal systems, Journal of Philosophical Logic, vol. 40(2011), no. 6, pp. 767–804.
  • –––– On the modal definability of simulability by finite transitive models, Studia Logica, vol. 98(2011), no. 3, pp. 347–373.
  • –––– Tangled modal logic for spatial reasoning, Proceedings of IJCAI (T. Walsh, editor),2011, pp. 857–862.
  • –––– Dynamic topological logic interpreted over metric spaces, Journal of Symbolic Logic, vol. 77(2012), no. 1, pp. 308–328.
  • –––– Tangled modal logic for topological dynamics, Annals of Pure and Applied Logic, vol. 163(2012), no. 4, pp. 467–481.
  • D. Gabelaia, A. Kurucz, F. Wolter, and M. Zakharyaschev Non-primitive recursive decidability of products of modal logics with expanding domains, Annals of Pure and Applied Logic, vol. 142(2006), no. 1–3, pp. 245–268.
  • B. Konev, R. Kontchakov, F. Wolter, and M. Zakharyaschev Dynamic topological logics over spaces with continuous functions, Advances in modal logic (G. Governatori, I. Hodkinson, and Y. Venema, editors), vol. 6, College Publications,2006, pp. 299–318.
  • –––– On dynamic topological and metric logics, Studia Logica, vol. 84(2006), pp. 129–160.
  • P. Kremer Dynamic topological $\mathsf{S5}$, Annals of Pure and Applied Logic, vol. 160(2009), pp. 96–116.
  • –––– Strong completeness of $\mathsf{S4}$ wrt the real line,2012.
  • P. Kremer and G. Mints Dynamic topological logic, Annals of Pure and Applied Logic, vol. 131(2005), pp. 133–158.
  • A. Kurucz, F. Wolter, M. Zakharyaschev, and Dov M. Gabbay Many-dimensional modal logics: Theory and applications, 1 ed., Studies in Logic and the Foundations of Mathematics, vol. 148, North Holland,2003.
  • Tamar Lando Completeness of $\mathsf{S4}$ for the Lebesgue measure algebra, Journal of Philosophical Logic,(2010).
  • O. Lichtenstein and A. Pnueli Propositional temporal logics: Decidability and completeness, Logic Journal of the IGPL, vol. 8(2000), no. 1, pp. 55–85.
  • G. Mints and T. Zhang Propositional logic of continuous transformations in Cantor space, Archive for Mathematical Logic, vol. 44(2005), pp. 783–799.
  • A. Pnueli The temporal logic of programs, Proceedings 18th IEEE symposium on the foundations of computer science,1977, pp. 46–57.
  • A. Prior Time and modality, Oxford University Press,1957.
  • A. Tarski Der Aussagenkalkül und die Topologie, Fundamenta Mathematica, vol. 31(1938), pp. 103–134.