FAILURE OF ESAKIA’S THEOREM IN THE MONADIC SETTING
Abstract
Abstract Esakia’s theorem states that Grzegorczyk’s logic is the greatest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have a greatest modal companion, yielding that Esakia’s theorem fails in the monadic setting.
Fields of Study & Subjects
Mathematical and Theoretical Analysis
Economic theories and models
Stochastic processes and financial applications
Publication details
- Journal / source
- Journal of Symbolic Logic
- Publisher
- Cambridge University Press (CUP)
- Pages
- 1–22
- Publication date
- 19 June 2026
- Language
- EN