A canonical topological model for extensions of K
Studia Logica 94 (3) (2010)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1).
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Silvio Ghilardi (1992). Quantified Extensions of Canonical Propositional Intermediate Logics. Studia Logica 51 (2):195 - 214.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Christopher Steinsvold (2008). A Grim Semantics for Logics of Belief. Journal of Philosophical Logic 37 (1).
Timothy J. Surendonk (2001). Canonicity for Intensional Logics with Even Axioms. Journal of Symbolic Logic 66 (3):1141-1156.
J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano (2005). Canonical Extensions and Relational Completeness of Some Substructural Logics. Journal of Symbolic Logic 70 (3):713 - 740.
M. Gehrke & H. A. Priestley (2007). Duality for Double Quasioperator Algebras Via Their Canonical Extensions. Studia Logica 86 (1):31 - 68.
Analytics
Monthly downloads |
Added to index2010-03-31Total downloads8 ( #124,537 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
