We discuss the celebrated Blok-Esakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the Blok-Esakia theorem to extensions of intuitionistic logic with modal operators and coimplication.
CITATION STYLE
Wolter, F., & Zakharyaschev, M. (2014). On the blok-esakia theorem. In Outstanding Contributions to Logic (Vol. 4, pp. 99–118). Springer. https://doi.org/10.1007/978-94-017-8860-1_5
Mendeley helps you to discover research relevant for your work.