The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem

DOI10.1016/J.APAL.2009.07.002zbMATH Open1225.03019OpenAlexW2023525230MaRDI QIDQ636264FDOQ636264

Authors: Guram Bezhanishvili 

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.002

Recommendations

• scientific article; zbMATH DE number 1735879
• Complexity of the universal theory of modal algebras
• scientific article; zbMATH DE number 4035783
• Bi-Heyting algebras, toposes and modalities
• scientific article; zbMATH DE number 3561422
• scientific article; zbMATH DE number 1735914
• scientific article; zbMATH DE number 2015279
• An extension algebra and the modal system
• Semisimple varieties of modal algebras

zbMATH Keywords

Heyting algebraBlok-Esakia theoremuniversal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Title not available (Why is that?)
• Using the Universal Modality: Gains and Questions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• Title not available (Why is that?)
• Varieties of monadic Heyting algebras. II: Duality theory
• The algebra of topology
• Title not available (Why is that?)
• On some intuitionistic modal logics
• On logics with coimplication
• « Everywhere » and « here »
• Title not available (Why is that?)
• Varieties of monadic Heyting algebras. I
• Some relational systems and the associated topological spaces
• Modality and possibility in some intuitionistic modal logics
• Formal systems for modal operators on locales
• Varieties of monadic Heyting algebras. III
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• MIPC as the formalisation of an intuitionist concept of modality
• Glivenko type theorems for intuitionistic modal logics

Cited In (10)

• Projective algebras and primitive subquasivarieties in varieties with factor congruences
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Fatal Heyting algebras and forcing persistent sentences
• Sahlqvist via translation
• On the Blok-Esakia theorem
• Modal translation of substructural logics
• What is the upper part of the lattice of bimodal logics?
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Interconnection of the lattices of extensions of four logics
• Modes, modals, and barycentric algebras: a brief survey and an additivity theorem

This page was built for publication: The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem

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