Locally Tabular Extensions of MIPC. - Guram Bezhanishvili; Revaz Grigolia (Advances in Modal Logic, 1998)

Varieties of Monadic Heyting Algebras - Part I. - Guram Bezhanishvili (Stud Logica, 1998)

Varieties of Monadic Heyting Algebras Part II: Duality Theory. - Guram Bezhanishvili (Stud Logica, 1999)

Varieties of Monadic Heyting Algebras. Part III. - Guram Bezhanishvili (Stud Logica, 2000)

Glivenko Type Theorems for Intuitionistic Modal Logics. - Guram Bezhanishvili (Stud Logica, 2001)

The Priestley Separation Axiom for Scattered Spaces. - Guram Bezhanishvili; Ray Mines; Patrick J. Morandi (Order, 2002)

Reasoning About Space: The Modal Way. - Marco Aiello 001; Johan van Benthem; Guram Bezhanishvili (J. Log. Comput., 2003)

Euclidean Hierarchy in Modal Logic. - Johan van Benthem; Guram Bezhanishvili; Mai Gehrke (Stud Logica, 2003)

Completeness of S4 with respect to the real line: revisited. - Guram Bezhanishvili; Mai Gehrke (Ann. Pure Appl. Log., 2005)

Some Results on Modal Axiomatization and Definability for Topological Spaces. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (Stud Logica, 2005)

Profinite Completions and Canonical Extensions of Heyting Algebras. - Guram Bezhanishvili; Mai Gehrke; Ray Mines; Patrick J. Morandi (Order, 2006)

Multimo dal Logics of Products of Topologies. - Johan van Benthem; Guram Bezhanishvili; Balder ten Cate; Darko Sarenac (Stud Logica, 2006)

An algebraic approach to subframe logics. Intuitionistic case. - Guram Bezhanishvili; Silvio Ghilardi (Ann. Pure Appl. Log., 2007)

Modal Logics of Space. - Johan van Benthem; Guram Bezhanishvili (Handbook of Spatial Logics, 2007)

Profinite Heyting Algebras. - Guram Bezhanishvili; Nick Bezhanishvili (Order, 2008)

Comparison of MacNeille, Canonical, and Profinite Completions. - Guram Bezhanishvili; Jacob Vosmaer (Order, 2008)

Spectral and T0-Spaces in d-Semantics. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (TbiLLC, 2009)

The modal logic of beta(N). - Guram Bezhanishvili; John Harding (Arch. Math. Log., 2009)

The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. - Guram Bezhanishvili (Ann. Pure Appl. Log., 2009)

An Algebraic Approach to Canonical Formulas: intuitionistic Case. - Guram Bezhanishvili; Nick Bezhanishvili (Rev. Symb. Log., 2009)

Scattered and hereditarily irresolvable spaces in modal logic. - Guram Bezhanishvili; Patrick J. Morandi (Arch. Math. Log., 2010)

Bitopological duality for distributive lattices and Heyting algebras. - Guram Bezhanishvili; Nick Bezhanishvili; David Gabelaia; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2010)

The Modal Logic of Stone Spaces: diamond as derivative. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (Rev. Symb. Log., 2010)

Connected modal logics. - Guram Bezhanishvili; David Gabelaia (Arch. Math. Log., 2011)

An Algebraic Approach to Subframe Logics. Modal Case. - Guram Bezhanishvili; Silvio Ghilardi; Mamuka Jibladze (Notre Dame J. Formal Log., 2011)

Generalized Priestley Quasi-Orders. - Guram Bezhanishvili; Ramon Jansana (Order, 2011)

Priestley Rings and Priestley Order-Compactifications. - Guram Bezhanishvili; Patrick J. Morandi (Order, 2011)

Order-Compactifications of Totally Ordered Spaces: Revisited. - Guram Bezhanishvili; Patrick J. Morandi (Order, 2011)

An Algebraic Approach to Canonical Formulas: Modal Case. - Guram Bezhanishvili; Nick Bezhanishvili (Stud Logica, 2011)

Priestley Style Duality for Distributive Meet-semilattices. - Guram Bezhanishvili; Ramon Jansana (Stud Logica, 2011)

De Vries Algebras and Compact Regular Frames. - Guram Bezhanishvili (Appl. Categorical Struct., 2012)

Subspaces of Q whose d-logics do not have the FMP. - Guram Bezhanishvili; Joel Lucero-Bryan (Arch. Math. Log., 2012)

More on d-Logics of Subspaces of the Rational Numbers. - Guram Bezhanishvili; Joel Lucero-Bryan (Notre Dame J. Formal Log., 2012)

Modal Logics of Stone Spaces. - Guram Bezhanishvili; John Harding (Order, 2012)

Canonical Formulas for Wk4. - Guram Bezhanishvili; Nick Bezhanishvili (Rev. Symb. Log., 2012)

Foreword. - Lev D. Beklemishev; Guram Bezhanishvili; Daniele Mundici; Yde Venema (Stud Logica, 2012)

Logic for physical space - From antiquity to present days. - Marco Aiello 001; Guram Bezhanishvili; Isabelle Bloch; Valentin Goranko (Synth., 2012)

Funayama's theorem revisited. - Guram Bezhanishvili; David Gabelaia; Mamuka Jibladze (TACL, 2013)

Topological completeness of extensions of S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (TACL, 2013)

Idempotent generated algebras and Boolean powers of commutative rings. - Guram Bezhanishvili; Vincenzo Marra; Patrick J. Morandi; Bruce Olberding (TACL, 2013)

Esakia Style Duality for Implicative Semilattices. - Guram Bezhanishvili; Ramon Jansana (Appl. Categorical Struct., 2013)

Proximity Frames and Regularization. - Guram Bezhanishvili; John Harding (Appl. Categorical Struct., 2014)

Modal Operators on Compact Regular Frames and de Vries Algebras. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (Appl. Categorical Struct., 2015)

Topological Completeness of Logics above S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (J. Symb. Log., 2015)

Modal compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; John Harding (J. Log. Comput., 2015)

Modal Logics of Metric Spaces. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (Rev. Symb. Log., 2015)

What Does "Less Than or Equal" Really Mean? - Guram Bezhanishvili; David Pengelley (Am. Math. Mon., 2015)

Locales, Nuclei, and Dragalin Frames. - Guram Bezhanishvili; Wesley H. Holliday (Advances in Modal Logic, 2016)

Stable Canonical Rules. - Guram Bezhanishvili; Nick Bezhanishvili; Rosalie Iemhoff (J. Symb. Log., 2016)

On the Proof that Compact Hausdorff Boolean Algebras are Powersets. - Guram Bezhanishvili; John Harding (Order, 2016)

Cofinal Stable Logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (Stud Logica, 2016)

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. - Guram Bezhanishvili; Nick Bezhanishvili; Sumit Sourabh; Yde Venema (Appl. Categorical Struct., 2017)

Proximity Biframes and Nachbin Spaces. - Guram Bezhanishvili; Patrick J. Morandi (Appl. Categorical Struct., 2017)

Krull Dimension in Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2017)

Locally Finite Reducts of Heyting Algebras and Canonical Formulas. - Guram Bezhanishvili; Nick Bezhanishvili (Notre Dame J. Formal Log., 2017)

Stable Modal Logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (Rev. Symb. Log., 2018)

Tychonoff HED-Spaces and Zemanian Extensions of S4.3. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Rev. Symb. Log., 2018)

A New Proof of the McKinsey-Tarski Theorem. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Stud Logica, 2018)

Compact Hausdorff Spaces with Relations and Gleason Spaces. - Guram Bezhanishvili; David Gabelaia; John Harding; Mamuka Jibladze (Appl. Categorical Struct., 2019)

On modal logics arising from scattered locally compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Ann. Pure Appl. Log., 2019)

A strict implication calculus for compact Hausdorff spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Thomas Santoli; Yde Venema (Ann. Pure Appl. Log., 2019)

Subframization and stabilization for superintuitionistic logics. - Guram Bezhanishvili; Nick Bezhanishvili; Julia Ilin (J. Log. Comput., 2019)

Temporal Interpretation of Intuitionistic Quantifiers. - Guram Bezhanishvili; Luca Carai (AiML, 2020)

Raney Algebras and Duality for T0-Spaces. - Guram Bezhanishvili; John Harding (Appl. Categorical Struct., 2020)

Coalgebras for the powerset functor and Thomason duality. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (CoRR, 2020)

Free bounded archimedean ℓ-algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Appl. Categorical Struct., 2021)

Tree-like constructions in topology and modal logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Arch. Math. Log., 2021)

The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (Bull. Symb. Log., 2021)

Characterizing existence of a Measurable cardinal via Modal Logic. - Guram Bezhanishvili; Nick Bezhanishvili; Joel Lucero-Bryan; Jan van Mill (J. Symb. Log., 2021)

The Frame of Nuclei on an Alexandroff Space. - F. Ávila; Guram Bezhanishvili; Patrick J. Morandi; A. Zaldívar (Order, 2021)

The Vietoris functor and modal operators on rings of continuous functions. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Ann. Pure Appl. Log., 2022)

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. - Guram Bezhanishvili; David Gabelaia; Mamuka Jibladze (J. Math. Log., 2022)

A Coalgebraic Approach to Dualities for Neighborhood Frames. - Guram Bezhanishvili; Nick Bezhanishvili; Jim de Groot (Log. Methods Comput. Sci., 2022)

Duality for powerset coalgebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Log. Methods Comput. Sci., 2022)

A New Approach to the Katětov-Tong Theorem. - Guram Bezhanishvili; Patrick J. Morandi; Bruce Olberding (Am. Math. Mon., 2022)

Modal Operators on Rings of Continuous Functions. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (J. Symb. Log., 2022)

Remarks on hyperspaces for Priestley spaces. - Guram Bezhanishvili; John Harding; Patrick J. Morandi (Theor. Comput. Sci., 2023)

Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. - Guram Bezhanishvili; Kristina Brantley; Julia Ilin (J. Symb. Log., 2023)

Temporal Interpretation of Monadic Intuitionistic Quantifiers. - Guram Bezhanishvili; Luca Carai (Rev. Symb. Log., 2023)

De Vries Powers and Proximity Specker Algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi; Bruce Olberding (Appl. Categorical Struct., 2023)

A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. - Guram Bezhanishvili; Luca Carai; Patrick J. Morandi (Order, 2023)

Deriving Dualities in Pointfree Topology from Priestley Duality. - Guram Bezhanishvili; Sebastian Melzer (Appl. Categorical Struct., 2023)

The Baire Closure and its Logic. - Guram Bezhanishvili; David Fernández-Duque (J. Symb. Log., 2024)

Semilattice Base Hierarchy for Frames and Its Topological Ramifications. - Guram Bezhanishvili; F. Dashiell; Aimé Razafindrakoto; J. Walters-Wayland (Appl. Categorical Struct., 2024)

Failure of the Blok-Esakia Theorem in the monadic setting. - Guram Bezhanishvili; Luca Carai (Ann. Pure Appl. Log., 2025)