TY  - RPRT
TI  - Esakia's theorem for the amended monadic intuitionistic calculus
AU  - Guram Bezhanishvili
AU  - Luca Carai
PY  - 2025
UR  - https://arxiv.org/abs/2512.18111
ID  - 2512.18111
ER  -