Journal of Symbolic Logic

Canonicity for Intensional Logics with Even Axioms

Timothy J. Surendonk

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS [2]. We follow the lead of the author's paper [9] 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 [5] and that KMcK is not relationally strongly complete [11].

Article information

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.

Export citation