Skip to main content
SpringerLink
Log in

A Canonical Topological Model for Extensions of K4

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aiello, M., and I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook on logics of space, Kluwer Academic Publishers, 2007.

  2. Dugundji J.: Topology. Prentice-Hall, Englewood Cliffs, NJ (1965)

    Google Scholar 

  3. 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.

  4. Esakia, L., ‘Weak transitivity - a restitution’, Logical Investigations, 8 (2001), 244– 255. Moscow, Nauka, In Russian.

  5. Bezhanishvili G., Gabelaia D., Esakia L.: ‘Some results on modal axiomatization and definability for topological spaces’. Studia Logica 81, 325–355 (2005)

    Article  Google Scholar 

  6. Goldblatt R.: Logics of Time and Computation, 2nd edn. CSLI, Stanford (1992)

    Google Scholar 

  7. Hughes G.E., Creswell M.J.: A New Introduction To Modal Logic. Routledge, New York (1996)

    Book  Google Scholar 

  8. Mckinsey J.C.C., Tarski A.: ‘The Algebra Of Topology’. Annals of Mathematics 45, 141–191 (1944)

    Article  Google Scholar 

  9. Lemmon J., Scott D.: An Introduction To Modal Logic. Blackwell, Oxford (1977)

    Google Scholar 

  10. Shehtman, V., ‘Derived Sets in Euclidean Spaces and Modal Logic’, Pre-print X-90- 05, University of Amsterdam, 1990.

  11. Steinsvold C.: ‘A grim semantics for logics of belief’. The Journal of Philosophical Logic 37(1), 45–56 (2008)

    Article  Google Scholar 

  12. Steinsvold, C., Topological Models of Belief Logics, Dissertation, City University of New York Graduate School and University Center, New York, NY, 2007.

  13. 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.

Download references

Author information

Authors and Affiliations

  1. Brooklyn College Philosophy Department, City University of New York, 2900 Bedford Avenue, Brooklyn, NY, 11210, USA

    Christopher Steinsvold

Authors
  1. Christopher Steinsvold
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Christopher Steinsvold.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9244-8

Keywords

Search

Navigation