Failure of Esakia's theorem in the monadic setting

Abstract

Esakia's theorem states that Grzegorczyk's logic is the largest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have the largest modal companion, yielding that Esakia's theorem fails in the monadic setting.