An algebraic approach to canonical formulas: modal case

DOI10.1007/S11225-011-9348-9MaRDI QIDQ647410zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• An algebraic approach to subframe logics. Modal case
• Canonical formulas \(\mathbf{wK4}\)
• Canonical formulas for K4. Part I: Basic results
• Duality between modal algebras and neighbourhood frames

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3482306 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• An algebraic approach to subframe logics. Intuitionistic case
• An algebraic approach to subframe logics. Modal case
• An ascending chain of S4 logics
• Canonical formulas for K4. Part I: Basic results
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Logics containing K4. Part II
• Splitting lattices of logics
• Tools and techniques in modal logic

Cited in

(17)

• Maps and monads for modal frames
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Modal logic and algebraic specifications
• Grzegorczyk algebras revisited
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Covering-based rough sets and modal logics. II.
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Correspondence theory for generalized modal algebras
• Canonical formulas \(\mathbf{wK4}\)
• On the Blok-Esakia theorem
• Correspondence and canonicity theory of quasi-inequalities and \(\varPi_2\)-statements in modal subordination algebras
• Stable formulas in intuitionistic logic
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Stable canonical rules
• Modal compact Hausdorff spaces
• scientific article; zbMATH DE number 2070195 (Why is no real title available?)

This page was built for publication: An algebraic approach to canonical formulas: modal case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647410)