The structure of lattices of subframe logics

DOI10.1016/S0168-0072(96)00049-8zbMath0878.03015MaRDI QIDQ1361249

Frank Wolter

Publication date: 14 December 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

modal logic; frames; splitting; subframe logic; minimal tense extensions; polymodal logics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

06B20: Varieties of lattices

Related Items

Erdős Graphs Resolve Fine's Canonicity Problem, CANONICAL FORMULAS FOR wK4, Modal logics that need very large frames, Algebraic semantics and model completeness for intuitionistic public announcement logic, Connected modal logics, Kripke completeness of infinitary predicate multimodal logics, Frame based formulas for intermediate logics, More on \(d\)-logics of subspaces of the rational numbers, An algebraic approach to subframe logics. Intuitionistic case, Willem Blok and modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• An almost general splitting theorem for modal logic
• Modal logics with functional alternative relations
• Topology and duality in modal logic
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Pretabular varieties of modal algebras
• Modal companions of intermediate propositional logics
• Varieties of lattices
• Even more about the lattice of tense logics
• Pretabular extensions of Lewis S4
• A counterexample in tense logic
• On the structure of varieties with equationally definable principal congruences. I
• A course on bimodal provability logic
• Some embedding theorems for modal logic
• Varieties of complex algebras
• Logics containing K4. Part II
• The extensions of the modal logic K5
• The lattice of modal logics: an algebraic investigation
• Properties of independently axiomatizable bimodal logics
• Canonical formulas for K4. Part I: Basic results
• An ascending chain of S4 logics
• Reduction of second‐order logic to modal logic
• Five critical modal systems
• Completeness and decidability of tense logics closely related to logics above K4
• The finite model property in tense logic
• Tense Logic Without Tense Operators
• Canonical formulas for K4. Part II: Cofinal subframe logics
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3
• Equational Bases and Nonmodular Lattice Varieties
• Extensions of the Lewis system S5
• Splittings of a Lattice