An algebraic approach to canonical formulas: modal case

DOI10.1007/s11225-011-9348-9zbMath1250.03124OpenAlexW2007326500MaRDI QIDQ647410

Guram Bezhanishvili, Nick Bezhanishvili

Publication date: 23 November 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9348-9

zbMATH Keywords

modal logicduality theoryrelativization

Mathematics Subject Classification ID

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

Related Items

Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Unnamed Item ⋮ Stable formulas in intuitionistic logic ⋮ STABLE CANONICAL RULES ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ On the Blok-Esakia Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to subframe logics. Modal case
• Tools and techniques in modal logic
• An algebraic approach to subframe logics. Intuitionistic case
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Logics containing K4. Part II
• Splitting lattices of logics
• Canonical formulas for K4. Part I: Basic results
• An ascending chain of S4 logics
• Canonical formulas for K4. Part II: Cofinal subframe logics