Studia Logica 94 (3):433 - 441 (2010)
| Authors |
|
| 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.
|
| Keywords | Topology Modal Logic Derived Set Derivative Canonical |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11225-010-9244-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
View all 7 references / Add more references
Citations of this work BETA
No citations found.
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.
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 index
2010-03-31
Total views
28 ( #410,633 of 2,518,720 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,720 )
2010-03-31
Total views
28 ( #410,633 of 2,518,720 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,720 )
How can I increase my downloads?
Downloads
