This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gö;del-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia-Theorem is proved for this embedding.

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal (...) monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics. (shrink)

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area. Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations (...) to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Gödel-Löb provability logic GL. One chapter scrutinizes Esakia’s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues. (shrink)

The idea of combining logics, structures, and theories has recently been attracting interest in areas as diverse as constraint logic programming, theorem proving, verification, computational linguistics, artificial intelligence and indeed, various branches of logic itself. It would be an exaggeration to claim that these (scattered, and by-and-large independent) investigations have crystallized into an enterprise meriting the title "combined methods"; nonetheless, a number of interesting themes are emerging. This introduction notes some prominent ones and relates them to the papers in this (...) special issue. (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 investigates the structure of lattices of normal mono- and polymodal subframelogics, i.e., those modal logics whose frames are closed under a certain type of substructures. Nearly all basic modal logics belong to this class. The main lattice theoretic tool applied is the notion of a splitting of a complete lattice which turns out to be connected with the “geometry” and “topology” of frames, with Kripke completeness and with axiomatization problems. We investigate in detail subframe logics containing K4, those (...) containing polymodal Altn and subframe logics which are tense logics. (shrink)

We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.

Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...) S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics have fmp w.r.t. admissibility. (shrink)

A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many pretabular (...) extensions of \. (shrink)

The finite model property (FMP) in weakly transitive tense logics is explored. Let \(\mathbb {S}=[\textsf{wK}_t\textsf{4}, \textsf{K}_t\textsf{4}]\) be the interval of tense logics between \(\textsf{wK}_t\textsf{4}\) and \(\textsf{K}_t\textsf{4}\). We introduce the modal formula \(\textrm{t}_0^n\) for each \(n\ge 1\). Within the class of all weakly transitive frames, \(\textrm{t}_0^n\) defines the class of all frames in which every cluster has at most _n_ irreflexive points. For each \(n\ge 1\), we define the interval \(\mathbb {S}_n=[\textsf{wK}_t\textsf{4T}_0^{n+1}, \textsf{wK}_t\textsf{4T}_0^{n}]\) which is a subset of \(\mathbb {S}\). There are (...) \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) lacking the FMP, and there are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) having the FMP. Then we explore the FMP in finitely alternative tense logics \(L_{n,m}=L\oplus \{\textrm{Alt}_n^F, \textrm{Alt}_m^P\}\) with \(n,m\ge 0\) and \(L\in \mathbb {S}\). For all \(k\ge 0\) and \(n,m\ge 1\), we define intervals \(\mathbb {F}^k_{n,m}\), \(\mathbb {P}^k_{n,m}\) and \(\mathbb {S}^k_{n,m}\) of tense logics. The number of logics lacking the FMP in them is either 0 or \(2^{\aleph _0}\), and the number of logics having the FMP in them is either finite or \(2^{\aleph _0}\). (shrink)

We prove that if a modal formula is refuted on a wK4-algebra ( B ,□), then it is refuted on a finite wK4-algebra which is isomorphic to a subalgebra of a relativization of ( B ,□). As an immediate consequence, we obtain that each subframe and cofinal subframe logic over wK4 has the finite model property. On the one hand, this provides a purely algebraic proof of the results of Fine and Zakharyaschev for K4 . On the other hand, it (...) extends the Fine-Zakharyaschev results to wK4. (shrink)