Degrees of the finite model property: the antidichotomy theorem

A classic result in modal logic, known as the Blok Dichotomy Theorem, states that the degree of incompleteness of a normal extension of the basic modal logic $\sf K$ is $1$ or $2^{\aleph_0}$. It is a long-standing open problem whether Blok Dichotomy holds for normal extensions of other prominent modal logics (such as $\sf S4$ or $\sf K4$) or for extensions of the intuitionistic propositional calculus $\mathsf{IPC}$. In this paper, we introduce the notion of the degree of finite model property (fmp), which is a natural variation of the degree of incompleteness. It is a consequence of Blok Dichotomy Theorem that the degree of fmp of a normal extension of $\sf K$ remains $1$ or $2^{\aleph_0}$. In contrast, our main result establishes the following Antidichotomy Theorem for the degree of fmp for extensions of $\mathsf{IPC}$: each nonzero cardinal $\kappa$ such that $\kappa \leq \aleph_0$ or $\kappa = 2^{\aleph_0}$ is realized as the degree of fmp of some extension of $\mathsf{IPC}$. We then use the Blok-Esakia theorem to establish the same Antidichotomy Theorem for normal extensions of $\sf S4$ and $\sf K4$

The Kuznetsov-Gerčiu and Rieger-Nishimura logics

We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the Rieger-Nishimura logic RN have the fmp. Moreover, we show that each extension of RN has the poly-size model property, thus improving on [9]. Furthermore, for each function f: \omega -> \omega, we construct an extension Lf of KG such that Lf has the fmp, but does not have the f-size model property. We also give a new simple proof of another result of Gerčiu [9] characterizing the only extension of KG that bounds the fmp for extensions of KG. We conclude the paper by proving that RN.KC = RN + (¬p \vee ¬¬p) is the only pre-locally tabular extension of KG, introduce the internal depth of an extension L of RN, and show that L is locally tabular if and only if the internal depth of L is finite

Prefinitely axiomatizable modal and intermediate logics

Kracht M. Prefinitely Axiomatizable Modal and Intermediate Logics. Mathematical Logic Quarterly. 1993;39:301-322