The structure of lattices of subframe logics
From MaRDI portal
Publication:1361249
DOI10.1016/S0168-0072(96)00049-8zbMATH Open0878.03015OpenAlexW1998269853MaRDI QIDQ1361249FDOQ1361249
Authors: F. 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
Recommendations
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Varieties of lattices (06B20)
Cites Work
- Title not available (Why is that?)
- Canonical formulas for K4. Part I: Basic results
- Title not available (Why is that?)
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Title not available (Why is that?)
- On the structure of varieties with equationally definable principal congruences. I
- Varieties of complex algebras
- Title not available (Why is that?)
- The extensions of the modal logic K5
- Title not available (Why is that?)
- Properties of independently axiomatizable bimodal logics
- Title not available (Why is that?)
- That All Normal Extensions of S4.3 Have the Finite Model Property
- Logics containing K4. Part II
- The lattice of modal logics: an algebraic investigation
- Equational Bases and Nonmodular Lattice Varieties
- Extensions of the Lewis system S5
- Modal companions of intermediate propositional logics
- Title not available (Why is that?)
- A counterexample in tense logic
- Title not available (Why is that?)
- Varieties of lattices
- Completeness and decidability of tense logics closely related to logics above K4
- Topology and duality in modal logic
- Title not available (Why is that?)
- Pretabular extensions of Lewis S4
- Title not available (Why is that?)
- Five critical modal systems
- An almost general splitting theorem for modal logic
- Pretabular varieties of modal algebras
- An ascending chain of S4 logics
- Der Verband der normalen verzweigten Modallogiken
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some embedding theorems for modal logic
- Title not available (Why is that?)
- The Logics Containing S 4.3
- Modal logics with functional alternative relations
- Title not available (Why is that?)
- Splittings of a Lattice
- Tense Logic Without Tense Operators
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- Reduction of second‐order logic to modal logic
- Even more about the lattice of tense logics
- The finite model property in tense logic
- A course on bimodal provability logic
Cited In (17)
- Tabularity and post-completeness in tense logic
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Frame based formulas for intermediate logics
- Willem Blok and modal logic
- An algebraic approach to subframe logics. Intuitionistic case
- Connected modal logics
- Title not available (Why is that?)
- Kripke completeness of infinitary predicate multimodal logics
- Title not available (Why is that?)
- Erdős Graphs Resolve Fine's Canonicity Problem
- A splitting logic in NExt(KTB)
- Canonical formulas \(\mathbf{wK4}\)
- Canonicity in power and modal logics of finite achronal width
- More on \(d\)-logics of subspaces of the rational numbers
- Modal logics that need very large frames
- Title not available (Why is that?)
- Canonical formulas for K4. Part II: Cofinal subframe logics
This page was built for publication: The structure of lattices of subframe logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361249)
