Abstract
We show that subspaces of the space \({\mathbb{Q}}\) of rational numbers give rise to uncountably many d-logics over K4 without the finite model property.
Similar content being viewed by others
References
Bezhanishvili G., Esakia L., Gabelaia D.: Some results on modal axiomatization and definability for topological spaces. Studia Logica 81(3), 325–355 (2005)
Bezhanishvili, G., Lucero-Bryan, J.: More on d-logics of subspaces of the rational numbers. Notre Dame J. Formal Logic 53(3) (2012)
Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Chagrov A., Zakharyaschev M.: Modal Logic, Oxford Logic Guides, vol. 35. The Clarendon Press, Oxford University Press, New York (1997)
Esakia, L.: Diagonal constructions, Löb’s formula and Cantor’s scattered spaces. Studies in Logic and Semantics, “Metsniereba”, Tbilisi, (In Russian), pp. 128–143 (1981)
Esakia, L.: Weak transitivity—a restitution, Logical Investigations, No. 8, “Nauka”, Moscow, (In Russian), pp. 244–255 (2001)
Kuratowski, K., Mostowski, A.: Set Theory, revised ed. North-Holland, Amsterdam (1976)
Lucero-Bryan J.: The d-logic of the rational numbers: a fruitful construction. Studia Logica 97, 265–295 (2011)
McKinsey J.C.C., Tarski A.: The algebra of topology. Ann. Math. 45, 141–191 (1944)
Shehtman, V.: Derived sets in Euclidean spaces and modal logic, Preprint X-90-05, University of Amsterdam (1990)
van Benthem J., Bezhanishvili G.: Modal Logics of Space. Handbook of Spatial Logics, pp. 217 –298. Springer, Dordrecht (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Lucero-Bryan, J. Subspaces of \({\mathbb{Q}}\) whose d-logics do not have the FMP. Arch. Math. Logic 51, 661–670 (2012). https://doi.org/10.1007/s00153-012-0290-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0290-y