Connected modal logics
type: Item
instance of: scholarly article
title: Connected modal logics
zbMATH Open document ID: 1241.03018
author: Guram Bezhanishvili
author: David Gabelaia
published in: Archive for Mathematical Logic
publication date: 2011-05-11T00:00:00Z
review text: Bearing in mind the fact that the real line \(\mathbb R\), and hence every subalgebra of the closure algebra \(\mathbb R^+=(\mathcal P(\mathbb R),\mathbf{cl})\), where \(\mathcal P(\mathbb R)\) and \(\mathbf{cl}\) denote the powerset of \(\mathbb R\) and the closure operator over subsets of \(\mathbb R\), respectively, are connected, the authors introduce the concept of a connected logic over Lewis' modal system S4 and show that each connected logic with the finite model property (fmp) is the logic corresponding to a subalgebra of \(\mathbb R^+\). This result is a generalization of the famous McKinsey-Tarski theorem (see [\textit{J. C. C. McKinsey} and \textit{A. Tarski}, ``The algebra of topology'', Ann. Math. (2) 45, 141--191 (1944; Zbl 0060.06206)]). They also show that each logic over S4.1 is a connected logic, and that there are continuum many connected logics with the fmp and continuum many connected logics without the fmp. An immediate consequence of this result and the Blok-Esakia correspondence between modal and superintuitionistic logics is that each superintuitionistic logic is a connected logic and that each superintuitionistic logic with the fmp corresponds to a subalgebra of the Heyting algebra of all open subsets of \(\mathbb R\).
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 5886771
zbMATH Keywords: modal logic
zbMATH Keywords: topology
zbMATH Keywords: closure algebra
zbMATH Keywords: connectedness
reviewed by: Branislav Boričić
MaRDI profile type: Publication
full work available at URL: s00153-010-0214-7
OpenAlex ID: W2136619669
cites work: Reasoning About Space: The Modal Way
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Topo-canonical completions of closure algebras and Heyting algebras
cites work: Order-compactifications of totally ordered spaces: Revisited
cites work: Modal logic
cites work: Q3128959
cites work: Q4150804
cites work: Q4049062
cites work: Q3735758
cites work: Five critical modal systems
cites work: An ascending chain of S4 logics
cites work: Boolean Algebras with Operators. Part I
cites work: The algebra of topology
cites work: Splitting lattices of logics
cites work: « Everywhere » and « here »
cites work: Euclidean hierarchy in modal logic
cites work: The structure of lattices of subframe logics
cites work: Q4789450
DOI: 10.1007/S00153-010-0214-7
Recommended article: TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4
Recommended article: A first approach to abstract modal logics
Recommended article: Q4249225
Recommended article: Q3680816
Recommended article: Q4918420
Recommended article: A Poly-Connexive Logic
Recommended article: Reasoning About Space: The Modal Way
Recommended article: Q4966006
Recommended article: Classically complete modal relevant logics
Recommended article: Q5437776
description: scientific article; zbMATH DE number 5886771