Journal of Symbolic Logic 66 (3):1141-1156 (2001)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
A Canonical Topological Model for Extensions of K.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):291-292.
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics.Silvio Ghilardi & Pierangelo Miglioli - 1999 - Studia Logica 63 (3):353-385.
All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
Canonicity for Intensional Logics Without Iterative Axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
Added to index2009-01-28
Total downloads205 ( #18,866 of 2,153,589 )
Recent downloads (6 months)1 ( #398,274 of 2,153,589 )
How can I increase my downloads?