Splitting lattices of logics
From MaRDI portal
Cites work
- Algebras Whose Congruence Lattices are Distributive.
- An incomplete logic containing S4
- Boolean Algebras with Operators. Part I
- Der Verband der normalen verzweigten Modallogiken
- scientific article; zbMATH DE number 3625347 (Why is no real title available?)
- scientific article; zbMATH DE number 3627177 (Why is no real title available?)
- Some embedding theorems for modal logic
Cited in
(30)- Frame based formulas for intermediate logics
- A solution to a problem of Urquhart
- Even more about the lattice of tense logics
- Willem Blok and modal logic
- Semisimple varieties of modal algebras
- Stable canonical rules
- Canonical rules
- Decidability of the interpolation problem and of related properties in tabular logics
- Mixed algebras and their logics
- Canonical formulas \(\mathbf{wK4}\)
- Stable modal logics
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Decidability of some interpolation properties for weakly transitive modal logics
- Lattice NExtS4 from the embedding theorem viewpoint
- Splittings and the finite model property
- Connected modal logics
- V. Yankov’s Contributions to Propositional Logic
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Yankov Characteristic Formulas (An Algebraic Account)
- Interpolation properties in the extensions of the logic of inequality
- Universal algebraic methods for non-classical logics
- An algebraic approach to canonical formulas: modal case
- Intermediate logics in the setting of team semantics
- The fork and its role in unification of closure algebras
- Maximality principles in modal logic and the axiom of choice
- Interpolation in weakly transitive modal logics
- Stable canonical rules and formulas for pre-transitive logics via definable filtration
- Pretabular tense logics over \(\mathsf{S4}_t\)
- An almost general splitting theorem for modal logic
- A splitting logic in NExt(KTB)
This page was built for publication: Splitting lattices of logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3900020)
