Der Verband der normalen verzweigten Modallogiken

DOI10.1007/BF01178758zbMath0414.03011MaRDI QIDQ599049

Wolfgang Rautenberg

Publication date: 1977

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

finite axiomatizabilitynormal modal logicscongruence lattice of a ramified modal algebraextension of S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10)

Related Items

Bjarni Jónsson's contributions in algebra, Splittings and the finite model property, The structure of lattices of subframe logics, On the lattice of extensions of the modal logics \(KAlt_ n\), Hereditarily structurally complete modal logics, Pretabular varieties of modal algebras, The lattice of varieties of modal algebras is not strongly atomic, On pretabular logics in NExtK4. I, LC and Its Pretabular Relatives, Even more about the lattice of tense logics, Algebraic semantics for quasi-classical modal logics, A splitting logic in NExt(KTB), Frame based formulas for intermediate logics, Splitting lattices of logics, On the structure of varieties with equationally definable principal congruences. I, An almost general splitting theorem for modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Extensions of the Lewis system S5
• Boolean Algebras with Operators. Part I