A canonical topological model for extensions of K4

Studia Logica 94 (3):433 - 441 (2010)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9244-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Quantified extensions of canonical propositional intermediate logics.Silvio Ghilardi - 1992 - Studia Logica 51 (2):195 - 214.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.B. A. Davey & H. A. Priestley - 2012 - Studia Logica 100 (1-2):137-161.

Analytics

Added to PP
2010-03-31

Downloads
35 (#454,663)

6 months
6 (#510,793)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
A new introduction to modal logic.G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.

View all 8 references / Add more references