1. Bezhanishvili, G.: Varieties of monadic Heyting algebras. II. Duality theory. Stud. Log. 62(1), 21–48 (1999)
2. Bezhanishvili, G., Gehrke, M., Mines, R., Morandi, P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23(2–3), 143–161 (2006)
3. Bezhanishvili, N.: Lattices of intermediate and cylindric modal logics. Ph.D. thesis, University of Amsterdam (2006)
4. Esakia, L.L.: Topological Kripke models. Sov. Math. Dokl. 15, 147–151 (1974)
5. Esakia, L.L.: On the theory of modal and superintuitionistic systems. In: Logical Inference (Moscow, 1974), pp. 147–172. Nauka, Moscow (1979)