On the Blok-Esakia Theorem

DOI10.1007/978-94-017-8860-1_5zbMath1350.03022OpenAlexW176873335MaRDI QIDQ5255793

Frank Wolter, Michael Zakharyashchev

Publication date: 19 June 2015

Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-017-8860-1_5

zbMATH Keywords

modal logicHeyting algebraintuitionistic logicintermediate logicsmodal algebra

Mathematics Subject Classification ID

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

Related Items (10)

The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Almost structural completeness; an algebraic approach ⋮ Interconnection of the lattices of extensions of four logics ⋮ Normal companions of intuitionistic modal logics ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ The intensional side of algebraic-topological representation theorems ⋮ Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructive Modalities with Provability Smack

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• An algebraic approach to canonical formulas: modal case
• Quantification in nonclassical logic. Volume I.
• Syntax and semantics of superintuitionistic logics
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Modality and possibility in some intuitionistic modal logics
• A subdirectly irreducible double Heyting algebra which is not simple
• Modal companions of intermediate propositional logics
• A lattice of normal modal logics
• Hereditarily finitely axiomatizable extensions of logic S4
• Applications of Kripke models to Heyting-Brouwer logic
• On modal logic with an intuitionistic base
• On some intuitionistic modal logics
• On logics with coimplication
• Formal systems for modal operators on locales
• Completeness results for intuitionistic and modal logic in a categorical setting
• Many-dimensional modal logics: theory and applications
• Mathematical modal logic: A view of its evolution
• A formalization of the propositional calculus of H-B logic
• The embedding theorem: its further developments and consequences. I
• The algebra of topology
• Explicit Provability and Constructive Semantics
• Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
• MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
• Canonical rules
• Logics containing K4. Part II
• On systems of modal logic with provability interpretations
• Using the Universal Modality: Gains and Questions
• Canonical formulas for K4. Part I: Basic results
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Arithmetical necessity, provability and intuitionistic logic
• On the Decision Problem for Two-Variable First-Order Logic
• « Everywhere » and « here »
• The finite model property in tense logic
• Canonical formulas for K4. Part II: Cofinal subframe logics
• What is strict implication?
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• Modal Logics Between S 4 and S 5
• Some relational systems and the associated topological spaces
• On intermediate propositional logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Recursive Functions and Intuitionistic Number Theory
• Propositional Calculus and Realizability
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• On the interpretation of intuitionistic number theory
• Über die Zwischensysteme der Aussagenlogik
• Glivenko type theorems for intuitionistic modal logics

This page was built for publication: On the Blok-Esakia Theorem