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]. (shrink)

The Kuznetsov-Index of a modal logic is the least cardinal such that any consistent formula has a Kripke-model of size if it has a Kripke-model at all. The Kuznetsov-Spectrum is the set of all Kuznetsov-Indices of modal logics with countably many operators. It has been shown by Thomason that there are tense logics with Kuznetsov-Index . Futhermore, Chagrov has constructed an extension of K4 with Kuznetsov-Index . We will show here that for each countable ordinal there are logics with Kuznetsov-Index (...) . Furthermore, we show that the Kuznetsov-Spectrum is identical to the spectrum of indices for -theories which is likewise defined. A particular consequence is the following. If inaccessible (weakly compact, measurable) cardinals exist, then the least inaccessible (weakly compact, measurable) cardinal is also a Kuznetsov-Index. (shrink)

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]. (shrink)