Abstract
Interpreting the diamond of modal logic as the derivative, we present a topological canonical model for extensions of K4 and show completeness for various logics. We also show that if a logic is topologically canonical, then it is relationally canonical.
Similar content being viewed by others
References
Aiello, M., and I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook on logics of space, Kluwer Academic Publishers, 2007.
Dugundji J.: Topology. Prentice-Hall, Englewood Cliffs, NJ (1965)
Esakia, L., ‘Diagonal construction, Löb’s formula and Cantor’s scattered spaces’, Logical And Semantical Investigations, (1981), 128–143. Tbilisi, Academy Press. In Russian.
Esakia, L., ‘Weak transitivity - a restitution’, Logical Investigations, 8 (2001), 244– 255. Moscow, Nauka, In Russian.
Bezhanishvili G., Gabelaia D., Esakia L.: ‘Some results on modal axiomatization and definability for topological spaces’. Studia Logica 81, 325–355 (2005)
Goldblatt R.: Logics of Time and Computation, 2nd edn. CSLI, Stanford (1992)
Hughes G.E., Creswell M.J.: A New Introduction To Modal Logic. Routledge, New York (1996)
Mckinsey J.C.C., Tarski A.: ‘The Algebra Of Topology’. Annals of Mathematics 45, 141–191 (1944)
Lemmon J., Scott D.: An Introduction To Modal Logic. Blackwell, Oxford (1977)
Shehtman, V., ‘Derived Sets in Euclidean Spaces and Modal Logic’, Pre-print X-90- 05, University of Amsterdam, 1990.
Steinsvold C.: ‘A grim semantics for logics of belief’. The Journal of Philosophical Logic 37(1), 45–56 (2008)
Steinsvold, C., Topological Models of Belief Logics, Dissertation, City University of New York Graduate School and University Center, New York, NY, 2007.
Steinsvold, C., Towards a topology of Knowledge and Belief, Talk given at the Workshop on Reasoning about Space during the NASSLI conference, Bloomington Indiana, 2003.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Steinsvold, C. A Canonical Topological Model for Extensions of K4. Stud Logica 94, 433–441 (2010). https://doi.org/10.1007/s11225-010-9244-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9244-8