On the Blok-Esakia Theorem
From MaRDI portal
Publication:5255793
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
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