Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 66, Issue 3 (2001), 1141-1156.
Canonicity for Intensional Logics with Even Axioms
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 .
J. Symbolic Logic, Volume 66, Issue 3 (2001), 1141-1156.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Surendonk, Timothy J. Canonicity for Intensional Logics with Even Axioms. J. Symbolic Logic 66 (2001), no. 3, 1141--1156. https://projecteuclid.org/euclid.jsl/1183746551