David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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 downloads31 ( #88,075 of 1,700,306 )
Recent downloads (6 months)27 ( #23,685 of 1,700,306 )
How can I increase my downloads?