Even more about the lattice of tense logics

DOI10.1007/BF01794981zbMath0787.03013OpenAlexW1996529189MaRDI QIDQ1204117

Marcus Kracht

Publication date: 1 September 1993

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01794981

zbMATH Keywords

clustersplittingsframeKripke modelslattice of normal extensions of tense logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items

The structure of lattices of subframe logics, The finite model property in tense logic, Finite model property in weakly transitive tense logics, On logics with coimplication, Lattices of finitely alternative normal tense logics, Splittings in varieties of logic

Cites Work

• Der Verband der normalen verzweigten Modallogiken
• An almost general splitting theorem for modal logic
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• On the structure of varieties with equationally definable principal congruences. I
• Varieties of complex algebras
• Splitting lattices of logics
• Semantic analysis of tense logics
• Equational Bases and Nonmodular Lattice Varieties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item