DROPS

Document

DOI: 10.4230/LIPIcs.LICS.2026.81

Axiomatizability of Alexandrov Dynamic Topological Logic

Authors: Niels C. Vooijs and David Fernández-Duque

Published in: LIPIcs, Volume 380, 41st Annual Symposium on Logic in Computer Science (LICS 2026)

Abstract

Dynamical systems provide rigorous models of movement or evolution over time. Due to their abstract nature, they may be naturally employed for representing e.g. physical, biological, or financial phenomena. Specifically in the context of Computer Science, computational processes, machine learning algorithms, and multi-agent systems may be regarded as dynamical systems. This has sparked interest in designing formal specification languages for dynamical systems which could potentially be employed for automated or computer-assisted deduction, leading to the introduction of dynamic topological logic (DTL). When space is continuous but time is discrete, it is known that a sound and complete deductive calculus for DTL exists. However, discrete spaces are not uncommon in CS applications , and in this setting, whether such a calculus exists even in principle has been an open question for more than two decades. More precisely, it was unknown whether the DTL of Alexandrov spaces is computably enumerable. In this paper, we use model search techniques to provide an affirmative answer.

Cite as

Niels C. Vooijs and David Fernández-Duque. Axiomatizability of Alexandrov Dynamic Topological Logic. In 41st Annual Symposium on Logic in Computer Science (LICS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 380, pp. 81:1-81:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{vooijs_et_al:LIPIcs.LICS.2026.81,
  author =	{Vooijs, Niels C. and Fern\'{a}ndez-Duque, David},
  title =	{{Axiomatizability of Alexandrov Dynamic Topological Logic}},
  booktitle =	{41st Annual Symposium on Logic in Computer Science (LICS 2026)},
  pages =	{81:1--81:26},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-434-5},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{380},
  editor =	{Faggian, Claudia and Katoen, Joost-Pieter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.81},
  URN =		{urn:nbn:de:0030-drops-268689},
  doi =		{10.4230/LIPIcs.LICS.2026.81},
  annote =	{Keywords: dynamic topological logic, Alexandrov spaces, computable enumerability, modal logic, temporal logic}
}

Search Results

Documents authored by Vooijs, Niels C.

Axiomatizability of Alexandrov Dynamic Topological Logic

Abstract

Cite as

Thanks for your feedback!

Could not send message