×

Non-finite axiomatizability of dynamic topological logic. (English) Zbl 1287.03069


MSC:

03B70 Logic in computer science
03B44 Temporal logic
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] S. Artemov, J. Davoren, and A. Nerode. 1997. Modal logics and topological semantics for hybrid systems. Tech. rep. MSI 97-05. Mathematical Sciences Institute, Cornell University.
[2] G. Bezhanishvili and M. Gehrke. 2005. Completeness of S4 with respect to the real line: Revisited. Ann. Pure Appl. Logic 131, 1–3, 287–301. · Zbl 1066.03032
[3] P. Blackburn, M. de Rijke, and Y. Venema. 2001. Modal Logic. Cambridge University Press. · Zbl 0988.03006 · doi:10.1017/CBO9781107050884
[4] A. Dawar and M. Otto. 2009. Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Logic 161, 1–42. · Zbl 1185.03027 · doi:10.1016/j.apal.2009.04.002
[5] D. Fernández-Duque. 2009. Non-deterministic semantics for dynamic topological logic. Ann. Pure Appl. Logic 157, 2–3, 110–121. Kurt Gödel Centenary Research Prize Fellowships.
[6] D. Fernández-Duque. 2011a. On the modal definability of simulability by finite transitive models. Studia Logica 98, 347–373. · Zbl 1246.03042
[7] D. Fernández-Duque. 2011b. Tangled modal logic for spatial reasoning. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), T. Walsh, Ed. 857–862.
[8] D. Fernández-Duque. 2012a. A sound and complete axiomatization for dynamic topological logic. J. Symbol. Logic 77, 3, 947–969.
[9] D. Fernández-Duque. 2012b. Tangled modal logic for topological dynamics. Ann. Pure Appl. Logic 163, 4, 467–481. · Zbl 1248.03033
[10] B. Konev, R. Kontchakov, F. Wolter, and M. Zakharyaschev. 2006a. Dynamic topological logics over spaces with continuous functions. In Advances in Modal Logic, G. Governatori, I. Hodkinson, and Y. Venema, Eds., Vol. 6. College Publications, London, 299–318. · Zbl 1148.03018
[11] B. Konev, R. Kontchakov, F. Wolter, and M. Zakharyaschev. 2006b. On dynamic topological and metric logics. Studia Logica 84, 129–160. · Zbl 1114.03026 · doi:10.1007/s11225-006-9005-x
[12] P. Kremer. 2013. Strong completeness of S4 for any dense-in-itself metric space. Rev. Symbol. Logic. · Zbl 1326.03025
[13] P. Kremer and G. Mints. 2005. Dynamic topological logic. Ann. Pure Appl. Logic 131, 133–158. · Zbl 1067.03028 · doi:10.1016/j.apal.2004.06.004
[14] O. Lichtenstein and A. Pnueli. 2000. Propositional temporal logics: Decidability and completeness. Logic J. IGPL 8, 1, 55–85. · Zbl 1033.03009 · doi:10.1093/jigpal/8.1.55
[15] G. Mints and T. Zhang. 2005. Propositional logic of continuous transformations in Cantor space. Archive Math. Logic 44, 783–799. · Zbl 1103.03021 · doi:10.1007/s00153-005-0285-z
[16] A. Prior. 1957. Time and Modality. Oxford University Press. · Zbl 0079.00606
[17] A. Tarski. 1938. Der Aussagenkalkül und die Topologie. Fundamenta Mathematica 31, 103–134. · Zbl 0020.33704
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.