Guram Bezhanishvili

Some Results on Modal Axiomatization and Definability for Topological Spaces

Guram Bezhanishvili, Leo Esakia, David Gabelaia · Studia Logica · 2005 · 65 citations

Classical Logic, Set-theoretic Topology, Topological Algebra +3

Bitopological duality for distributive lattices and Heyting algebras

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia et al. · Mathematical Structures in Computer Science · 2010 · 64 citations · Full text

Lattice Theory, Algebraic Logic, Abstract Algebra +7

Varieties of Monadic Heyting Algebras. Part I

Guram Bezhanishvili · Studia Logica · 1998 · 56 citations

An algebraic approach to subframe logics. Intuitionistic case

Guram Bezhanishvili, Silvio Ghilardi · Annals of Pure and Applied Logic · 2007 · 46 citations

Engineering, Substructural Logic, Intuitionistic Case +2

Completeness of S4 with respect to the real line: revisited

Guram Bezhanishvili, Mai Gehrke · Annals of Pure and Applied Logic · 2004 · 45 citations

Real Line