Splitting lattices of logics

DOI10.1007/BF02021134zbMath0453.03017MaRDI QIDQ3900020

Wolfgang Rautenberg

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137969

zbMATH Keywords

splitting theoremnormal modal logics

Mathematics Subject Classification ID

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

Related Items

V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Splittings and the finite model property ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Mixed algebras and their logics ⋮ Universal algebraic methods for non-classical logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Willem Blok and modal logic ⋮ Semisimple varieties of modal algebras ⋮ An algebraic approach to canonical formulas: modal case ⋮ A solution to a problem of Urquhart ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Even more about the lattice of tense logics ⋮ Interpolation in weakly transitive modal logics ⋮ Connected modal logics ⋮ A splitting logic in NExt(KTB) ⋮ STABLE CANONICAL RULES ⋮ Frame based formulas for intermediate logics ⋮ STABLE MODAL LOGICS ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Canonical rules ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator ⋮ An almost general splitting theorem for modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Der Verband der normalen verzweigten Modallogiken
• Some embedding theorems for modal logic
• An incomplete logic containing S4
• Algebras Whose Congruence Lattices are Distributive.
• Boolean Algebras with Operators. Part I

This page was built for publication: Splitting lattices of logics