The structure of lattices of subframe logics
From MaRDI portal
Publication:1361249
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3650525 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 3494368 (Why is no real title available?)
- scientific article; zbMATH DE number 3554259 (Why is no real title available?)
- scientific article; zbMATH DE number 1222489 (Why is no real title available?)
- scientific article; zbMATH DE number 1028831 (Why is no real title available?)
- scientific article; zbMATH DE number 1170091 (Why is no real title available?)
- scientific article; zbMATH DE number 3231075 (Why is no real title available?)
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- scientific article; zbMATH DE number 3093421 (Why is no real title available?)
- A counterexample in tense logic
- A course on bimodal provability logic
- An almost general splitting theorem for modal logic
- An ascending chain of S4 logics
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Completeness and decidability of tense logics closely related to logics above K4
- Der Verband der normalen verzweigten Modallogiken
- Equational Bases and Nonmodular Lattice Varieties
- Even more about the lattice of tense logics
- Extensions of the Lewis system S5
- Five critical modal systems
- Logics containing K4. Part II
- Modal companions of intermediate propositional logics
- Modal logics with functional alternative relations
- On the lattice of extensions of the modal logics \(KAlt_ n\)
- On the structure of varieties with equationally definable principal congruences. I
- Pretabular extensions of Lewis S4
- Pretabular varieties of modal algebras
- Properties of independently axiomatizable bimodal logics
- Reduction of second‐order logic to modal logic
- Some embedding theorems for modal logic
- Splittings of a Lattice
- Tense Logic Without Tense Operators
- That All Normal Extensions of S4.3 Have the Finite Model Property
- The Logics Containing S 4.3
- The extensions of the modal logic K5
- The finite model property in tense logic
- The lattice of modal logics: an algebraic investigation
- Topology and duality in modal logic
- Varieties of complex algebras
- Varieties of lattices
Cited in
(19)- Canonical formulas \(\mathbf{wK4}\)
- Willem Blok and modal logic
- A splitting logic in NExt(KTB)
- Tabularity and post-completeness in tense logic
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Erdős Graphs Resolve Fine's Canonicity Problem
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- An algebraic approach to subframe logics. Intuitionistic case
- scientific article; zbMATH DE number 2019874 (Why is no real title available?)
- On polarity frames: applications to substructural and lattice-based logics
- Frame based formulas for intermediate logics
- More on \(d\)-logics of subspaces of the rational numbers
- Canonicity in power and modal logics of finite achronal width
- Modal logics that need very large frames
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Kripke completeness of infinitary predicate multimodal logics
- scientific article; zbMATH DE number 935035 (Why is no real title available?)
- The structure of the lattice of normal extensions of modal logics with cyclic axioms
- Connected modal 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)
