The structure of lattices of subframe logics

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

Frank Wolter

Publication date: 14 December 1997

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00049-8

zbMATH Keywords

modal logicframessplittingsubframe logicminimal tense extensionspolymodal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Varieties of lattices (06B20)

Related Items (10)

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

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

This page was built for publication: The structure of lattices of subframe logics