The structure of lattices of subframe logics
type: Item
instance of: scholarly article
title: The structure of lattices of subframe logics
zbMATH Open document ID: 0878.03015
DOI: 10.1016/S0168-0072(96)00049-8
author: F. Wolter
published in: Annals of Pure and Applied Logic
publication date: 1997-12-14T00:00:00Z
review text: A subframe modal logic is a logic whose class of (general) frames is closed under the formation of subframes. The paper investigates the structure of various lattices of subframe uni- and polymodal logics (in particular, containing K, K4, polymodal \(\text{Alt}_n\), minimal tense extensions of unimodal logics). The main technical tool is the lattice-theoretic notion of splitting.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 1038664
zbMATH Keywords: subframe logic
zbMATH Keywords: modal logic
zbMATH Keywords: frames
zbMATH Keywords: polymodal logics
zbMATH Keywords: minimal tense extensions
zbMATH Keywords: splitting
reviewed by: Michael Zakharyaschev
MaRDI profile type: Publication
cites work: On the lattice of extensions of the modal logics \(KAlt_ n\)
cites work: Pretabular varieties of modal algebras
cites work: Q3208624
cites work: The lattice of modal logics: an algebraic investigation
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: Q4397069
cites work: That All Normal Extensions of S4.3 Have the Finite Model Property
cites work: Q4342094
cites work: Modal companions of intermediate propositional logics
cites work: Q3128959
cites work: Five critical modal systems
cites work: The Logics Containing S 4.3
cites work: An ascending chain of S4 logics
cites work: Q4075436
cites work: Logics containing K4. Part II
cites work: Q4218020
cites work: Q3835817
cites work: Q4128789
cites work: Varieties of complex algebras
cites work: Q5616133
cites work: Q5519127
cites work: Q5595146
cites work: Varieties of lattices
cites work: An almost general splitting theorem for modal logic
cites work: Even more about the lattice of tense logics
cites work: Properties of independently axiomatizable bimodal logics
cites work: Some embedding theorems for modal logic
cites work: Pretabular extensions of Lewis S4
cites work: Equational Bases and Nonmodular Lattice Varieties
cites work: The extensions of the modal logic K5
cites work: Der Verband der normalen verzweigten Modallogiken
cites work: Q3858239
cites work: Topology and duality in modal logic
cites work: Extensions of the Lewis system S5
cites work: Q4068699
cites work: Modal logics with functional alternative relations
cites work: Q5833217
cites work: Reduction of second‐order logic to modal logic
cites work: A course on bimodal provability logic
cites work: Splittings of a Lattice
cites work: The finite model property in tense logic
cites work: Completeness and decidability of tense logics closely related to logics above K4
cites work: A counterexample in tense logic
cites work: Tense Logic Without Tense Operators
cites work: Canonical formulas for K4. Part I: Basic results
cites work: Canonical formulas for K4. Part II: Cofinal subframe logics
full work available at URL: s0168-0072(96)00049-8
OpenAlex ID: W1998269853
description: scientific article; zbMATH DE number 1038664