Graduate studies at Western
Journal of Symbolic Logic 66 (3):1141-1156 (2001)
|Abstract||This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS . We follow the lead of the author's paper  where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form-no intensional operator is in boolean combination with a propositional letter-and which have the finite model property are neighborhood canonical. One consequence of this is that KMcK, the McKinsey logic, is neighborhood canonical, an interesting counterpoint to the results of ROBERT GOLDBLATT and XIAOPING WANG who showed, respectively, that KMcK is not relational canonical  and that KMcK is not relationally strongly complete |
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Katsumi Sasaki (1990). The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's. Studia Logica 49 (4):471 - 481.
Timothy J. Surendonk (1997). Canonicity for Intensional Logics Without Iterative Axioms. Journal of Philosophical Logic 26 (4):391-409.
Camillo Fiorentini (2000). All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete. Journal of Symbolic Logic 65 (4):1576-1604.
Silvio Ghilardi & Pierangelo Miglioli (1999). On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. Studia Logica 63 (3):353-385.
Leon Horsten (2005). Canonical Naming Systems. Minds and Machines 15 (2):229-257.
M. Gehrke & H. A. Priestley (2007). Duality for Double Quasioperator Algebras Via Their Canonical Extensions. Studia Logica 86 (1):31 - 68.
Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge (2008). Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17 (1):291-292.
Christopher Steinsvold (2010). A Canonical Topological Model for Extensions of K. Studia Logica 94 (3):433 - 441.
Dmitry Sustretov (2009). Hybrid Logics of Separation Axioms. Journal of Logic, Language and Information 18 (4):541-558.
Added to index2009-01-28
Total downloads3 ( #213,731 of 739,347 )
Recent downloads (6 months)1 ( #61,538 of 739,347 )
How can I increase my downloads?