Guram Bezhanishvili

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 38

Top Topics

Situation Calculus

Thalamic Nuclei

Continuous Functions

Top Venues

Appl. Categorical Struct.

Rev. Symb. Log.

Ann. Pure Appl. Log.

Publications

Guram Bezhanishvili, F. Dashiell, Aimé Razafindrakoto, J. Walters-Wayland
Semilattice Base Hierarchy for Frames and Its Topological Ramifications. Appl. Categorical Struct. 32 (4) (2024)
Guram Bezhanishvili, David Fernández-Duque
The Baire Closure and its Logic. J. Symb. Log. 89 (1) (2024)
Guram Bezhanishvili, Kristina Brantley, Julia Ilin
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. J. Symb. Log. 88 (1) (2023)
Guram Bezhanishvili, Luca Carai
Temporal Interpretation of Monadic Intuitionistic Quantifiers. Rev. Symb. Log. 16 (1) (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. Order 40 (2) (2023)
Guram Bezhanishvili, S. Melzer
Deriving Dualities in Pointfree Topology from Priestley Duality. Appl. Categorical Struct. 31 (5) (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding
De Vries Powers and Proximity Specker Algebras. Appl. Categorical Struct. 31 (3) (2023)
Guram Bezhanishvili, John Harding, Patrick J. Morandi
Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. 943 (2023)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
The Vietoris functor and modal operators on rings of continuous functions. Ann. Pure Appl. Log. 173 (1) (2022)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Modal Operators on Rings of Continuous Functions. J. Symb. Log. 87 (4) (2022)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Duality for powerset coalgebras. Log. Methods Comput. Sci. 18 (1) (2022)
Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding
A New Approach to the Katětov-Tong Theorem. Am. Math. Mon. 129 (1) (2022)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. 18 (3) (2022)
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. J. Math. Log. 22 (3) (2022)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60 (3-4) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86 (1) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR (2021)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Free bounded archimedean ℓ-algebras. Appl. Categorical Struct. 29 (5) (2021)
F. Ávila, Guram Bezhanishvili, Patrick J. Morandi, A. Zaldívar
The Frame of Nuclei on an Alexandroff Space. Order 38 (1) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27 (2) (2021)
Guram Bezhanishvili, John Harding
-Spaces. Appl. Categorical Struct. 28 (6) (2020)
Guram Bezhanishvili, Luca Carai
Temporal Interpretation of Intuitionistic Quantifiers. AiML (2020)
Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
Coalgebras for the powerset functor and Thomason duality. CoRR (2020)
Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. 27 (6) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (11) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (5) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Subframization and stabilization for superintuitionistic logics. J. Log. Comput. 29 (1) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Stable Modal Logics. Rev. Symb. Log. 11 (3) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106 (6) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11 (1) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Krull Dimension in Modal Logic. J. Symb. Log. 82 (4) (2017)
Guram Bezhanishvili, Patrick J. Morandi
Proximity Biframes and Nachbin Spaces. Appl. Categorical Struct. 25 (6) (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25 (3) (2017)
Guram Bezhanishvili, Nick Bezhanishvili
Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. 58 (1) (2017)
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
Stable Canonical Rules. J. Symb. Log. 81 (1) (2016)
Guram Bezhanishvili, Wesley H. Holliday
Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic (2016)
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
Cofinal Stable Logics. Stud Logica 104 (6) (2016)
Guram Bezhanishvili, John Harding
On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order 33 (2) (2016)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological Completeness of Logics above S4. J. Symb. Log. 80 (2) (2015)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal compact Hausdorff spaces. J. Log. Comput. 25 (1) (2015)
Guram Bezhanishvili, Nick Bezhanishvili, John Harding
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23 (3) (2015)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Modal Logics of Metric Spaces. Rev. Symb. Log. 8 (1) (2015)
Guram Bezhanishvili, David Pengelley
What Does "Less Than or Equal" Really Mean? Am. Math. Mon. 122 (10) (2015)
Guram Bezhanishvili, John Harding
Proximity Frames and Regularization. Appl. Categorical Struct. 22 (1) (2014)
Guram Bezhanishvili, Ramon Jansana
Esakia Style Duality for Implicative Semilattices. Appl. Categorical Struct. 21 (2) (2013)
Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding
Idempotent generated algebras and Boolean powers of commutative rings. TACL (2013)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological completeness of extensions of S4. TACL (2013)
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
Funayama's theorem revisited. TACL (2013)
Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
Foreword. Stud Logica 100 (1-2) (2012)
Guram Bezhanishvili, Joel Lucero-Bryan
Subspaces of Q whose d-logics do not have the FMP. Arch. Math. Log. 51 (5-6) (2012)
Guram Bezhanishvili, Nick Bezhanishvili
Canonical Formulas for Wk4. Rev. Symb. Log. 5 (4) (2012)
Guram Bezhanishvili, Joel Lucero-Bryan
More on d-Logics of Subspaces of the Rational Numbers. Notre Dame J. Formal Log. 53 (3) (2012)
Guram Bezhanishvili
De Vries Algebras and Compact Regular Frames. Appl. Categorical Struct. 20 (6) (2012)
Guram Bezhanishvili, John Harding
Modal Logics of Stone Spaces. Order 29 (2) (2012)
Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
Logic for physical space - From antiquity to present days. Synth. 186 (3) (2012)
Guram Bezhanishvili, David Gabelaia
Connected modal logics. Arch. Math. Log. 50 (3-4) (2011)
Guram Bezhanishvili, Patrick J. Morandi
Priestley Rings and Priestley Order-Compactifications. Order 28 (3) (2011)
Guram Bezhanishvili, Patrick J. Morandi
Order-Compactifications of Totally Ordered Spaces: Revisited. Order 28 (3) (2011)
Guram Bezhanishvili, Ramon Jansana
Generalized Priestley Quasi-Orders. Order 28 (2) (2011)
Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze
An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame J. Formal Log. 52 (2) (2011)
Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica 99 (1-3) (2011)
Guram Bezhanishvili, Ramon Jansana
Priestley Style Duality for Distributive Meet-semilattices. Stud Logica 98 (1-2) (2011)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
The Modal Logic of Stone Spaces: diamond as derivative. Rev. Symb. Log. 3 (1) (2010)
Guram Bezhanishvili, Patrick J. Morandi
Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49 (3) (2010)
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20 (3) (2010)
Guram Bezhanishvili
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. Ann. Pure Appl. Log. 161 (3) (2009)
Guram Bezhanishvili, John Harding
The modal logic of beta(N). Arch. Math. Log. 48 (3-4) (2009)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
-Spaces in d-Semantics. TbiLLC (2009)
Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. 2 (3) (2009)
Guram Bezhanishvili, Nick Bezhanishvili
Profinite Heyting Algebras. Order 25 (3) (2008)
Guram Bezhanishvili, Jacob Vosmaer
Comparison of MacNeille, Canonical, and Profinite Completions. Order 25 (4) (2008)
Guram Bezhanishvili, Silvio Ghilardi
An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147 (1-2) (2007)
Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23 (2-3) (2006)
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac
Multimo dal Logics of Products of Topologies. Stud Logica 84 (3) (2006)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica 81 (3) (2005)
Guram Bezhanishvili, Mai Gehrke
Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. 131 (1-3) (2005)
Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
Euclidean Hierarchy in Modal Logic. Stud Logica 75 (3) (2003)
Marco Aiello, Johan van Benthem, Guram Bezhanishvili
Reasoning About Space: The Modal Way. J. Log. Comput. 13 (6) (2003)
Guram Bezhanishvili, Ray Mines, Patrick J. Morandi
The Priestley Separation Axiom for Scattered Spaces. Order 19 (1) (2002)
Guram Bezhanishvili
Glivenko Type Theorems for Intuitionistic Modal Logics. Stud Logica 67 (1) (2001)
Guram Bezhanishvili
Varieties of Monadic Heyting Algebras. Part III. Stud Logica 64 (2) (2000)
Guram Bezhanishvili
Varieties of Monadic Heyting Algebras Part II: Duality Theory. Stud Logica 62 (1) (1999)
Guram Bezhanishvili
Varieties of Monadic Heyting Algebras - Part I. Stud Logica 61 (3) (1998)
Guram Bezhanishvili, Revaz Grigolia
Locally Tabular Extensions of MIPC. Advances in Modal Logic (1998)