Guram Bezhanishvili

According to our database, Guram Bezhanishvili authored at least 87 papers between 1998 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

McKinsey-Tarski Algebras and Raney Extensions.

Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland

Appl. Categorical Struct., April, 2026

2025

Dedekind-MacNeille and Related Completions: Subfitness, Regularity, and Booleanness.

Guram Bezhanishvili, F. Dashiell, M. Andrew Moshier, Joanne Walters-Wayland

Order, August, 2025

Failure of the Blok-Esakia Theorem in the monadic setting.

Guram Bezhanishvili, Luca Carai

Ann. Pure Appl. Log., 2025

2024

Semilattice Base Hierarchy for Frames and Its Topological Ramifications.

Guram Bezhanishvili, F. Dashiell, Aimé Razafindrakoto, Joanne Walters-Wayland

Appl. Categorical Struct., August, 2024

The Baire Closure and its Logic.

Guram Bezhanishvili, David Fernández-Duque

J. Symb. Log., 2024

2023

Deriving Dualities in Pointfree Topology from Priestley Duality.

Guram Bezhanishvili, Sebastian Melzer

Appl. Categorical Struct., October, 2023

A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

Order, July, 2023

De Vries Powers and Proximity Specker Algebras.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding

Appl. Categorical Struct., June, 2023

Temporal Interpretation of Monadic Intuitionistic Quantifiers.

Guram Bezhanishvili, Luca Carai

Rev. Symb. Log., March, 2023

Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.

Guram Bezhanishvili, Kristina Brantley, Julia Ilin

J. Symb. Log., March, 2023

Remarks on hyperspaces for Priestley spaces.

Guram Bezhanishvili, John Harding, Patrick J. Morandi

Theor. Comput. Sci., 2023

2022

Modal Operators on Rings of Continuous Functions.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

J. Symb. Log., December, 2022

A New Approach to the Katětov-Tong Theorem.

Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding

Am. Math. Mon., 2022

Duality for powerset coalgebras.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

Log. Methods Comput. Sci., 2022

A Coalgebraic Approach to Dualities for Neighborhood Frames.

Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot

Log. Methods Comput. Sci., 2022

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

J. Math. Log., 2022

The Vietoris functor and modal operators on rings of continuous functions.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

Ann. Pure Appl. Log., 2022

2021

The Frame of Nuclei on an Alexandroff Space.

F. Ávila, Guram Bezhanishvili, Patrick J. Morandi, A. Zaldívar

Order, 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 McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Bull. Symb. Log., 2021

Tree-like constructions in topology and modal logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Arch. Math. Log., 2021

Free bounded archimedean ℓ-algebras.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

Appl. Categorical Struct., 2021

2020

Coalgebras for the powerset functor and Thomason duality.

Guram Bezhanishvili, Luca Carai, Patrick J. Morandi

CoRR, 2020

Raney Algebras and Duality for T₀-Spaces.

Guram Bezhanishvili, John Harding

Appl. Categorical Struct., 2020

Temporal Interpretation of Intuitionistic Quantifiers.

Guram Bezhanishvili, Luca Carai

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Subframization and stabilization for superintuitionistic logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

J. Log. Comput., 2019

A strict implication calculus for compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema

Ann. Pure Appl. Log., 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

Compact Hausdorff Spaces with Relations and Gleason Spaces.

Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze

Appl. Categorical Struct., 2019

2018

A New Proof of the McKinsey-Tarski Theorem.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Stud Logica, 2018

Tychonoff HED-Spaces and Zemanian Extensions of S4.3.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Rev. Symb. Log., 2018

Stable Modal Logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Rev. Symb. Log., 2018

2017

Locally Finite Reducts of Heyting Algebras and Canonical Formulas.

Guram Bezhanishvili, Nick Bezhanishvili

Notre Dame J. Formal Log., 2017

Krull Dimension in Modal Logic.

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

J. Symb. Log., 2017

Proximity Biframes and Nachbin Spaces.

Guram Bezhanishvili, Patrick J. Morandi

Appl. Categorical Struct., 2017

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.

Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema

Appl. Categorical Struct., 2017

2016

Cofinal Stable Logics.

Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Stud Logica, 2016

On the Proof that Compact Hausdorff Boolean Algebras are Powersets.

Guram Bezhanishvili, John Harding

Order, 2016

Stable Canonical Rules.

Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff

J. Symb. Log., 2016

Locales, Nuclei, and Dragalin Frames.

Guram Bezhanishvili, Wesley H. Holliday

Proceedings of the Advances in Modal Logic 11, 2016

2015

What Does "Less Than or Equal" Really Mean?

Guram Bezhanishvili, David Pengelley

Am. Math. Mon., 2015

Modal Logics of Metric Spaces.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Rev. Symb. Log., 2015

Modal compact Hausdorff spaces.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

J. Log. Comput., 2015

Topological Completeness of Logics above S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

J. Symb. Log., 2015

Modal Operators on Compact Regular Frames and de Vries Algebras.

Guram Bezhanishvili, Nick Bezhanishvili, John Harding

Appl. Categorical Struct., 2015

2014

Proximity Frames and Regularization.

Guram Bezhanishvili, John Harding

Appl. Categorical Struct., 2014

2013

Esakia Style Duality for Implicative Semilattices.

Guram Bezhanishvili, Ramon Jansana

Appl. Categorical Struct., 2013

Idempotent generated algebras and Boolean powers of commutative rings.

Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Topological completeness of extensions of S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Funayama's theorem revisited.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Logic for physical space - From antiquity to present days.

Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko

Synth., 2012

Foreword.

Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema

Stud Logica, 2012

Canonical Formulas for Wk4.

Guram Bezhanishvili, Nick Bezhanishvili

Rev. Symb. Log., 2012

Modal Logics of Stone Spaces.

Guram Bezhanishvili, John Harding

Order, 2012

More on d-Logics of Subspaces of the Rational Numbers.

Guram Bezhanishvili, Joel Lucero-Bryan

Notre Dame J. Formal Log., 2012

Subspaces of Q whose d-logics do not have the FMP.

Guram Bezhanishvili, Joel Lucero-Bryan

Arch. Math. Log., 2012

De Vries Algebras and Compact Regular Frames.

Guram Bezhanishvili

Appl. Categorical Struct., 2012

2011

Priestley Style Duality for Distributive Meet-semilattices.

Guram Bezhanishvili, Ramon Jansana

Stud Logica, 2011

An Algebraic Approach to Canonical Formulas: Modal Case.

Guram Bezhanishvili, Nick Bezhanishvili

Stud Logica, 2011

Order-Compactifications of Totally Ordered Spaces: Revisited.

Guram Bezhanishvili, Patrick J. Morandi

Order, 2011

Priestley Rings and Priestley Order-Compactifications.

Guram Bezhanishvili, Patrick J. Morandi

Order, 2011

Generalized Priestley Quasi-Orders.

Guram Bezhanishvili, Ramon Jansana

Order, 2011

An Algebraic Approach to Subframe Logics. Modal Case.

Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze

Notre Dame J. Formal Log., 2011

Connected modal logics.

Guram Bezhanishvili, David Gabelaia

Arch. Math. Log., 2011

2010

The Modal Logic of Stone Spaces: diamond as derivative.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Rev. Symb. Log., 2010

Bitopological duality for distributive lattices and Heyting algebras.

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Math. Struct. Comput. Sci., 2010

Scattered and hereditarily irresolvable spaces in modal logic.

Guram Bezhanishvili, Patrick J. Morandi

Arch. Math. Log., 2010

2009

An Algebraic Approach to Canonical Formulas: intuitionistic Case.

Guram Bezhanishvili, Nick Bezhanishvili

Rev. Symb. Log., 2009

The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem.

Guram Bezhanishvili

Ann. Pure Appl. Log., 2009

The modal logic of beta(N).

Guram Bezhanishvili, John Harding

Arch. Math. Log., 2009

Spectral and <i>T</i>₀-Spaces in d-Semantics.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Proceedings of the Logic, Language, and Computation, 2009

2008

Comparison of MacNeille, Canonical, and Profinite Completions.

Guram Bezhanishvili, Jacob Vosmaer

Order, 2008

Profinite Heyting Algebras.

Guram Bezhanishvili, Nick Bezhanishvili

Order, 2008

2007

Modal Logics of Space.

Johan van Benthem, Guram Bezhanishvili

Proceedings of the Handbook of Spatial Logics, 2007

An algebraic approach to subframe logics. Intuitionistic case.

Guram Bezhanishvili, Silvio Ghilardi

Ann. Pure Appl. Log., 2007

2006

Multimo dal Logics of Products of Topologies.

Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac

Stud Logica, 2006

Profinite Completions and Canonical Extensions of Heyting Algebras.

Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi

Order, 2006

2005

Some Results on Modal Axiomatization and Definability for Topological Spaces.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Stud Logica, 2005

Completeness of S4 with respect to the real line: revisited.

Guram Bezhanishvili, Mai Gehrke

Ann. Pure Appl. Log., 2005

2003

Euclidean Hierarchy in Modal Logic.

Johan van Benthem, Guram Bezhanishvili, Mai Gehrke

Stud Logica, 2003

Reasoning About Space: The Modal Way.

Marco Aiello, Johan van Benthem, Guram Bezhanishvili

J. Log. Comput., 2003

2002

The Priestley Separation Axiom for Scattered Spaces.

Guram Bezhanishvili, Ray Mines, Patrick J. Morandi

Order, 2002

2001

Glivenko Type Theorems for Intuitionistic Modal Logics.

Guram Bezhanishvili

Stud Logica, 2001

2000

Varieties of Monadic Heyting Algebras. Part III.

Guram Bezhanishvili

Stud Logica, 2000

1999

Varieties of Monadic Heyting Algebras Part II: Duality Theory.

Guram Bezhanishvili

Stud Logica, 1999

1998

Varieties of Monadic Heyting Algebras - Part I.

Guram Bezhanishvili

Stud Logica, 1998

Locally Tabular Extensions of MIPC.

Guram Bezhanishvili, Revaz Grigolia

Proceedings of the Advances in Modal Logic 2, 1998