Guram Bezhanishvili

90 papers B 4Journal 80Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	McKinsey-Tarski Algebras and Raney Extensions. Appl. Categorical Struct. Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland
2025	J	`jnl`	Dedekind-MacNeille and Related Completions: Subfitness, Regularity, and Booleanness. Order Guram Bezhanishvili, F. Dashiell, M. Andrew Moshier, Joanne Walters-Wayland
2025	J	`jnl`	Failure of the Blok-Esakia Theorem in the monadic setting. Ann. Pure Appl. Log. Guram Bezhanishvili, Luca Carai
2024	J	`jnl`	Semilattice Base Hierarchy for Frames and Its Topological Ramifications. Appl. Categorical Struct. Guram Bezhanishvili, F. Dashiell, Aimé Razafindrakoto, Joanne Walters-Wayland
2024	J	`jnl`	The Baire Closure and its Logic. J. Symb. Log. Guram Bezhanishvili, David Fernández-Duque
2023	J	`jnl`	A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. Order Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2023	J	`jnl`	De Vries Powers and Proximity Specker Algebras. Appl. Categorical Struct. Guram Bezhanishvili, Luca Carai, Patrick J. Morandi, Bruce Olberding
2023	J	`jnl`	Deriving Dualities in Pointfree Topology from Priestley Duality. Appl. Categorical Struct. Guram Bezhanishvili, Sebastian Melzer
2023	J	`jnl`	Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. J. Symb. Log. Guram Bezhanishvili, Kristina Brantley, Julia Ilin
2023	J	`jnl`	Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. Guram Bezhanishvili, John Harding, Patrick J. Morandi
2023	J	`jnl`	Temporal Interpretation of Monadic Intuitionistic Quantifiers. Rev. Symb. Log. Guram Bezhanishvili, Luca Carai
2022	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2022	J	`jnl`	A New Approach to the Katětov-Tong Theorem. Am. Math. Mon. Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding
2022	J	`jnl`	A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. J. Math. Log. Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2022	J	`jnl`	Duality for powerset coalgebras. Log. Methods Comput. Sci. Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2022	J	`jnl`	Modal Operators on Rings of Continuous Functions. J. Symb. Log. Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2022	J	`jnl`	The Vietoris functor and modal operators on rings of continuous functions. Ann. Pure Appl. Log. Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2021	J	`jnl`	A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
2021	J	`jnl`	Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021	J	`jnl`	Free bounded archimedean ℓ-algebras. Appl. Categorical Struct. Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2021	J	`jnl`	The Frame of Nuclei on an Alexandroff Space. Order F. Ávila, Guram Bezhanishvili, Patrick J. Morandi, A. Zaldívar
2021	J	`jnl`	The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2021	J	`jnl`	Tree-like constructions in topology and modal logic. Arch. Math. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2020	J	`jnl`	Coalgebras for the powerset functor and Thomason duality. CoRR Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
2020	J	`jnl`	Raney Algebras and Duality for T Appl. Categorical Struct. Guram Bezhanishvili, John Harding
2020	B	`conf`	Temporal Interpretation of Intuitionistic Quantifiers. AiML Guram Bezhanishvili, Luca Carai
2019	J	`jnl`	A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema
2019	J	`jnl`	Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
2019	J	`jnl`	On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2019	J	`jnl`	Subframization and stabilization for superintuitionistic logics. J. Log. Comput. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2018	J	`jnl`	A New Proof of the McKinsey-Tarski Theorem. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2018	B	`ed.`	Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018 Advances in Modal Logic Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer
2018	J	`jnl`	Stable Modal Logics. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2018	J	`jnl`	Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2017	J	`jnl`	Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema
2017	J	`jnl`	Krull Dimension in Modal Logic. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
2017	J	`jnl`	Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. Guram Bezhanishvili, Nick Bezhanishvili
2017	J	`jnl`	Proximity Biframes and Nachbin Spaces. Appl. Categorical Struct. Guram Bezhanishvili, Patrick J. Morandi
2016	J	`jnl`	Cofinal Stable Logics. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin
2016	B	`conf`	Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic Guram Bezhanishvili, Wesley H. Holliday
2016	J	`jnl`	On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order Guram Bezhanishvili, John Harding
2016	J	`jnl`	Stable Canonical Rules. J. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff
2015	J	`jnl`	Modal Logics of Metric Spaces. Rev. Symb. Log. Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2015	J	`jnl`	Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	J	`jnl`	Modal compact Hausdorff spaces. J. Log. Comput. Guram Bezhanishvili, Nick Bezhanishvili, John Harding
2015	J	`jnl`	Topological Completeness of Logics above S4. J. Symb. Log. Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2015	J	`jnl`	What Does "Less Than or Equal" Really Mean? Am. Math. Mon. Guram Bezhanishvili, David Pengelley
2014	J	`jnl`	Proximity Frames and Regularization. Appl. Categorical Struct. Guram Bezhanishvili, John Harding
2013	J	`jnl`	Esakia Style Duality for Implicative Semilattices. Appl. Categorical Struct. Guram Bezhanishvili, Ramon Jansana
2013	—	`conf`	Funayama's theorem revisited. TACL Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2013	—	`conf`	Idempotent generated algebras and Boolean powers of commutative rings. TACL Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding
2013	—	`ed.`	Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers TbiLLC Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter
2013	—	`conf`	Topological completeness of extensions of S4. TACL Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
2012	J	`jnl`	Canonical Formulas for Wk4. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili
2012	J	`jnl`	De Vries Algebras and Compact Regular Frames. Appl. Categorical Struct. Guram Bezhanishvili
2012	J	`jnl`	Foreword. Stud Logica Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
2012	J	`jnl`	Logic for physical space - From antiquity to present days. Synth. Marco Aiello, Guram Bezhanishvili, Isabelle Bloch, Valentin Goranko
2012	J	`jnl`	Modal Logics of Stone Spaces. Order Guram Bezhanishvili, John Harding
2012	J	`jnl`	More on d-Logics of Subspaces of the Rational Numbers. Notre Dame J. Formal Log. Guram Bezhanishvili, Joel Lucero-Bryan
2012	J	`jnl`	Subspaces of Q whose d-logics do not have the FMP. Arch. Math. Log. Guram Bezhanishvili, Joel Lucero-Bryan
2011	J	`jnl`	An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica Guram Bezhanishvili, Nick Bezhanishvili
2011	J	`jnl`	An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame J. Formal Log. Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze
2011	J	`jnl`	Connected modal logics. Arch. Math. Log. Guram Bezhanishvili, David Gabelaia
2011	J	`jnl`	Generalized Priestley Quasi-Orders. Order Guram Bezhanishvili, Ramon Jansana
2011	J	`jnl`	Order-Compactifications of Totally Ordered Spaces: Revisited. Order Guram Bezhanishvili, Patrick J. Morandi
2011	J	`jnl`	Priestley Rings and Priestley Order-Compactifications. Order Guram Bezhanishvili, Patrick J. Morandi
2011	J	`jnl`	Priestley Style Duality for Distributive Meet-semilattices. Stud Logica Guram Bezhanishvili, Ramon Jansana
2010	J	`jnl`	Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
2010	J	`jnl`	Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. Guram Bezhanishvili, Patrick J. Morandi
2010	J	`jnl`	The Modal Logic of Stone Spaces: diamond as derivative. Rev. Symb. Log. Guram Bezhanishvili, Leo Esakia, David Gabelaia
2009	J	`jnl`	An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. Guram Bezhanishvili, Nick Bezhanishvili
2009	—	`conf`	Spectral and TbiLLC Guram Bezhanishvili, Leo Esakia, David Gabelaia
2009	J	`jnl`	The modal logic of beta(N). Arch. Math. Log. Guram Bezhanishvili, John Harding
2009	J	`jnl`	The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. Ann. Pure Appl. Log. Guram Bezhanishvili
2008	J	`jnl`	Comparison of MacNeille, Canonical, and Profinite Completions. Order Guram Bezhanishvili, Jacob Vosmaer
2008	J	`jnl`	Profinite Heyting Algebras. Order Guram Bezhanishvili, Nick Bezhanishvili
2007	J	`jnl`	An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. Guram Bezhanishvili, Silvio Ghilardi
2007	—	`ch.`	Modal Logics of Space. Handbook of Spatial Logics Johan van Benthem, Guram Bezhanishvili
2006	J	`jnl`	Multimo dal Logics of Products of Topologies. Stud Logica Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac
2006	J	`jnl`	Profinite Completions and Canonical Extensions of Heyting Algebras. Order Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi
2005	J	`jnl`	Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. Guram Bezhanishvili, Mai Gehrke
2005	J	`jnl`	Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica Guram Bezhanishvili, Leo Esakia, David Gabelaia
2003	J	`jnl`	Euclidean Hierarchy in Modal Logic. Stud Logica Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
2003	J	`jnl`	Reasoning About Space: The Modal Way. J. Log. Comput. Marco Aiello, Johan van Benthem, Guram Bezhanishvili
2002	J	`jnl`	The Priestley Separation Axiom for Scattered Spaces. Order Guram Bezhanishvili, Ray Mines, Patrick J. Morandi
2001	J	`jnl`	Glivenko Type Theorems for Intuitionistic Modal Logics. Stud Logica Guram Bezhanishvili
2000	J	`jnl`	Varieties of Monadic Heyting Algebras. Part III. Stud Logica Guram Bezhanishvili
1999	J	`jnl`	Varieties of Monadic Heyting Algebras Part II: Duality Theory. Stud Logica Guram Bezhanishvili
1998	B	`conf`	Locally Tabular Extensions of MIPC. Advances in Modal Logic Guram Bezhanishvili, Revaz Grigolia
1998	J	`jnl`	Varieties of Monadic Heyting Algebras - Part I. Stud Logica Guram Bezhanishvili