% csauthors.net - beta - BibTeX bibliography of Guram Bezhanishvili
@inproceedings{conf/aiml/BezhanishviliG98,
title = {Locally Tabular Extensions of MIPC.},
year = {1998},
booktitle = {Advances in Modal Logic},
author = {{Guram Bezhanishvili} and {Revaz Grigolia}},
publisher = {CSLI Publications},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 16-18 October 1998}
}
@article{journals/sLogica/Bezhanishvili98,
title = {Varieties of Monadic Heyting Algebras - Part I.},
year = {1998},
journal = {Stud Logica},
author = {{Guram Bezhanishvili}}
}
@article{journals/sLogica/Bezhanishvili99,
title = {Varieties of Monadic Heyting Algebras Part II: Duality Theory.},
year = {1999},
journal = {Stud Logica},
author = {{Guram Bezhanishvili}}
}
@article{journals/sLogica/Bezhanishvili00,
title = {Varieties of Monadic Heyting Algebras. Part III.},
year = {2000},
journal = {Stud Logica},
author = {{Guram Bezhanishvili}}
}
@article{journals/sLogica/Bezhanishvili01,
title = {Glivenko Type Theorems for Intuitionistic Modal Logics.},
year = {2001},
journal = {Stud Logica},
author = {{Guram Bezhanishvili}}
}
@article{journals/order/BezhanishviliMM02,
title = {The Priestley Separation Axiom for Scattered Spaces.},
year = {2002},
journal = {Order},
author = {{Guram Bezhanishvili} and {Ray Mines} and {Patrick J. Morandi}}
}
@article{journals/logcom/AielloBB03,
title = {Reasoning About Space: The Modal Way.},
year = {2003},
journal = {J. Log. Comput.},
author = {{Marco Aiello 001} and {Johan van Benthem} and {Guram Bezhanishvili}}
}
@article{journals/sLogica/BenthemBG03,
title = {Euclidean Hierarchy in Modal Logic.},
year = {2003},
journal = {Stud Logica},
author = {{Johan van Benthem} and {Guram Bezhanishvili} and {Mai Gehrke}}
}
@article{journals/apal/BezhanishviliG05,
title = {Completeness of S4 with respect to the real line: revisited.},
year = {2005},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili} and {Mai Gehrke}}
}
@article{journals/sLogica/BezhanishviliEG05,
title = {Some Results on Modal Axiomatization and Definability for Topological Spaces.},
year = {2005},
journal = {Stud Logica},
author = {{Guram Bezhanishvili} and {Leo Esakia} and {David Gabelaia}}
}
@article{journals/order/BezhanishviliGMM06,
title = {Profinite Completions and Canonical Extensions of Heyting Algebras.},
year = {2006},
journal = {Order},
author = {{Guram Bezhanishvili} and {Mai Gehrke} and {Ray Mines} and {Patrick J. Morandi}}
}
@article{journals/sLogica/BenthemBCS06,
title = {Multimo dal Logics of Products of Topologies.},
year = {2006},
journal = {Stud Logica},
author = {{Johan van Benthem} and {Guram Bezhanishvili} and {Balder ten Cate} and {Darko Sarenac}}
}
@article{journals/apal/BezhanishviliG07,
title = {An algebraic approach to subframe logics. Intuitionistic case.},
year = {2007},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili} and {Silvio Ghilardi}}
}
@incollection{reference/spatial/BenthemB07,
title = {Modal Logics of Space.},
year = {2007},
booktitle = {Handbook of Spatial Logics},
author = {{Johan van Benthem} and {Guram Bezhanishvili}},
publisher = {Springer},
booktitle = {Handbook of Spatial Logics}
}
@article{journals/order/BezhanishviliB08,
title = {Profinite Heyting Algebras.},
year = {2008},
journal = {Order},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili}}
}
@article{journals/order/BezhanishviliV08,
title = {Comparison of MacNeille, Canonical, and Profinite Completions.},
year = {2008},
journal = {Order},
author = {{Guram Bezhanishvili} and {Jacob Vosmaer}}
}
@inproceedings{conf/tbillc/BezhanishviliEG09,
title = {Spectral and T0-Spaces in d-Semantics.},
year = {2009},
booktitle = {TbiLLC},
author = {{Guram Bezhanishvili} and {Leo Esakia} and {David Gabelaia}},
publisher = {Springer},
booktitle = {Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers}
}
@article{journals/aml/BezhanishviliH09,
title = {The modal logic of beta(N).},
year = {2009},
journal = {Arch. Math. Log.},
author = {{Guram Bezhanishvili} and {John Harding}}
}
@article{journals/apal/Bezhanishvili09,
title = {The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem.},
year = {2009},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili}}
}
@article{journals/rsl/BezhanishviliB09,
title = {An Algebraic Approach to Canonical Formulas: intuitionistic Case.},
year = {2009},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili}}
}
@article{journals/aml/BezhanishviliM10,
title = {Scattered and hereditarily irresolvable spaces in modal logic.},
year = {2010},
journal = {Arch. Math. Log.},
author = {{Guram Bezhanishvili} and {Patrick J. Morandi}}
}
@article{journals/mscs/BezhanishviliBGK10,
title = {Bitopological duality for distributive lattices and Heyting algebras.},
year = {2010},
journal = {Math. Struct. Comput. Sci.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {David Gabelaia} and {Alexander Kurz 001}}
}
@article{journals/rsl/BezhanishviliEG10,
title = {The Modal Logic of Stone Spaces: diamond as derivative.},
year = {2010},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Leo Esakia} and {David Gabelaia}}
}
@article{journals/aml/BezhanishviliG11,
title = {Connected modal logics.},
year = {2011},
journal = {Arch. Math. Log.},
author = {{Guram Bezhanishvili} and {David Gabelaia}}
}
@article{journals/ndjfl/BezhanishviliGJ11,
title = {An Algebraic Approach to Subframe Logics. Modal Case.},
year = {2011},
journal = {Notre Dame J. Formal Log.},
author = {{Guram Bezhanishvili} and {Silvio Ghilardi} and {Mamuka Jibladze}}
}
@article{journals/order/BezhanishviliJ11,
title = {Generalized Priestley Quasi-Orders.},
year = {2011},
journal = {Order},
author = {{Guram Bezhanishvili} and {Ramon Jansana}}
}
@article{journals/order/BezhanishviliM11,
title = {Priestley Rings and Priestley Order-Compactifications.},
year = {2011},
journal = {Order},
author = {{Guram Bezhanishvili} and {Patrick J. Morandi}}
}
@article{journals/order/BezhanishviliM11a,
title = {Order-Compactifications of Totally Ordered Spaces: Revisited.},
year = {2011},
journal = {Order},
author = {{Guram Bezhanishvili} and {Patrick J. Morandi}}
}
@article{journals/sLogica/BezhanishviliB11,
title = {An Algebraic Approach to Canonical Formulas: Modal Case.},
year = {2011},
journal = {Stud Logica},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili}}
}
@article{journals/sLogica/BezhanishviliJ11,
title = {Priestley Style Duality for Distributive Meet-semilattices.},
year = {2011},
journal = {Stud Logica},
author = {{Guram Bezhanishvili} and {Ramon Jansana}}
}
@article{journals/acs/Bezhanishvili12,
title = {De Vries Algebras and Compact Regular Frames.},
year = {2012},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili}}
}
@article{journals/aml/BezhanishviliL12,
title = {Subspaces of Q whose d-logics do not have the FMP.},
year = {2012},
journal = {Arch. Math. Log.},
author = {{Guram Bezhanishvili} and {Joel Lucero-Bryan}}
}
@article{journals/ndjfl/BezhanishviliL12,
title = {More on d-Logics of Subspaces of the Rational Numbers.},
year = {2012},
journal = {Notre Dame J. Formal Log.},
author = {{Guram Bezhanishvili} and {Joel Lucero-Bryan}}
}
@article{journals/order/BezhanishviliH12,
title = {Modal Logics of Stone Spaces.},
year = {2012},
journal = {Order},
author = {{Guram Bezhanishvili} and {John Harding}}
}
@article{journals/rsl/BezhanishviliB12,
title = {Canonical Formulas for Wk4.},
year = {2012},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili}}
}
@article{journals/sLogica/BeklemishevBMV12,
title = {Foreword.},
year = {2012},
journal = {Stud Logica},
author = {{Lev D. Beklemishev} and {Guram Bezhanishvili} and {Daniele Mundici} and {Yde Venema}}
}
@article{journals/synthese/AielloBBG12,
title = {Logic for physical space - From antiquity to present days.},
year = {2012},
journal = {Synth.},
author = {{Marco Aiello 001} and {Guram Bezhanishvili} and {Isabelle Bloch} and {Valentin Goranko}}
}
@inproceedings{conf/tacl/BezhanishviliGJ13,
title = {Funayama's theorem revisited.},
year = {2013},
booktitle = {TACL},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {Mamuka Jibladze}},
publisher = {EasyChair},
booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013}
}
@inproceedings{conf/tacl/BezhanishviliGL13,
title = {Topological completeness of extensions of S4.},
year = {2013},
booktitle = {TACL},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {Joel Lucero-Bryan}},
publisher = {EasyChair},
booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013}
}
@inproceedings{conf/tacl/BezhanishviliMMO13,
title = {Idempotent generated algebras and Boolean powers of commutative rings.},
year = {2013},
booktitle = {TACL},
author = {{Guram Bezhanishvili} and {Vincenzo Marra} and {Patrick J. Morandi} and {Bruce Olberding}},
publisher = {EasyChair},
booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013}
}
@article{journals/acs/BezhanishviliJ13,
title = {Esakia Style Duality for Implicative Semilattices.},
year = {2013},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Ramon Jansana}}
}
@article{journals/acs/BezhanishviliH14,
title = {Proximity Frames and Regularization.},
year = {2014},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {John Harding}}
}
@article{journals/acs/BezhanishviliBH15,
title = {Modal Operators on Compact Regular Frames and de Vries Algebras.},
year = {2015},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {John Harding}}
}
@article{journals/jsyml/BezhanishviliGL15,
title = {Topological Completeness of Logics above S4.},
year = {2015},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {Joel Lucero-Bryan}}
}
@article{journals/logcom/BezhanishviliBH15,
title = {Modal compact Hausdorff spaces.},
year = {2015},
journal = {J. Log. Comput.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {John Harding}}
}
@article{journals/rsl/BezhanishviliGL15,
title = {Modal Logics of Metric Spaces.},
year = {2015},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {Joel Lucero-Bryan}}
}
@article{journals/tamm/BezhanishviliP15,
title = {What Does "Less Than or Equal" Really Mean?},
year = {2015},
journal = {Am. Math. Mon.},
author = {{Guram Bezhanishvili} and {David Pengelley}}
}
@inproceedings{conf/aiml/BezhanishviliH16,
title = {Locales, Nuclei, and Dragalin Frames.},
year = {2016},
booktitle = {Advances in Modal Logic},
author = {{Guram Bezhanishvili} and {Wesley H. Holliday}},
publisher = {College Publications},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016}
}
@article{journals/jsyml/BezhanishviliBI16,
title = {Stable Canonical Rules.},
year = {2016},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Rosalie Iemhoff}}
}
@article{journals/order/BezhanishviliH16,
title = {On the Proof that Compact Hausdorff Boolean Algebras are Powersets.},
year = {2016},
journal = {Order},
author = {{Guram Bezhanishvili} and {John Harding}}
}
@article{journals/sLogica/BezhanishviliBI16,
title = {Cofinal Stable Logics.},
year = {2016},
journal = {Stud Logica},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Julia Ilin}}
}
@article{journals/acs/BezhanishviliBS17,
title = {Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.},
year = {2017},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Sumit Sourabh} and {Yde Venema}}
}
@article{journals/acs/BezhanishviliM17,
title = {Proximity Biframes and Nachbin Spaces.},
year = {2017},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Patrick J. Morandi}}
}
@article{journals/jsyml/BezhanishviliBL17,
title = {Krull Dimension in Modal Logic.},
year = {2017},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/ndjfl/BezhanishviliB17,
title = {Locally Finite Reducts of Heyting Algebras and Canonical Formulas.},
year = {2017},
journal = {Notre Dame J. Formal Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili}}
}
@article{journals/rsl/BezhanishviliBI18,
title = {Stable Modal Logics.},
year = {2018},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Julia Ilin}}
}
@article{journals/rsl/BezhanishviliBL18,
title = {Tychonoff HED-Spaces and Zemanian Extensions of S4.3.},
year = {2018},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/sLogica/BezhanishviliBL18,
title = {A New Proof of the McKinsey-Tarski Theorem.},
year = {2018},
journal = {Stud Logica},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/acs/BezhanishviliGH19,
title = {Compact Hausdorff Spaces with Relations and Gleason Spaces.},
year = {2019},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {John Harding} and {Mamuka Jibladze}}
}
@article{journals/apal/BezhanishviliBL19,
title = {On modal logics arising from scattered locally compact Hausdorff spaces.},
year = {2019},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/apal/BezhanishviliBS19,
title = {A strict implication calculus for compact Hausdorff spaces.},
year = {2019},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Thomas Santoli} and {Yde Venema}}
}
@article{journals/logcom/BezhanishviliBI19,
title = {Subframization and stabilization for superintuitionistic logics.},
year = {2019},
journal = {J. Log. Comput.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Julia Ilin}}
}
@inproceedings{conf/aiml/BezhanishviliC20,
title = {Temporal Interpretation of Intuitionistic Quantifiers.},
year = {2020},
booktitle = {AiML},
author = {{Guram Bezhanishvili} and {Luca Carai}},
publisher = {College Publications},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020.}
}
@article{journals/acs/BezhanishviliH20,
title = {Raney Algebras and Duality for T0-Spaces.},
year = {2020},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {John Harding}}
}
@article{journals/corr/abs-2008-01849,
title = {Coalgebras for the powerset functor and Thomason duality.},
year = {2020},
journal = {CoRR},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/acs/BezhanishviliCM21,
title = {Free bounded archimedean ℓ-algebras.},
year = {2021},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/aml/BezhanishviliBL21,
title = {Tree-like constructions in topology and modal logic.},
year = {2021},
journal = {Arch. Math. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/bsl/BezhanishviliBL21,
title = {The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.},
year = {2021},
journal = {Bull. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/jsyml/BezhanishviliBL21,
title = {Characterizing existence of a Measurable cardinal via Modal Logic.},
year = {2021},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Joel Lucero-Bryan} and {Jan van Mill}}
}
@article{journals/order/AvilaBMZ21,
title = {The Frame of Nuclei on an Alexandroff Space.},
year = {2021},
journal = {Order},
author = {{F. Ávila} and {Guram Bezhanishvili} and {Patrick J. Morandi} and {A. Zaldívar}}
}
@article{journals/apal/BezhanishviliCM22,
title = {The Vietoris functor and modal operators on rings of continuous functions.},
year = {2022},
journal = {Ann. Pure Appl. Log.},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/jml/BezhanishviliGJ22,
title = {A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.},
year = {2022},
journal = {J. Math. Log.},
author = {{Guram Bezhanishvili} and {David Gabelaia} and {Mamuka Jibladze}}
}
@article{journals/lmcs/BezhanishviliBG22,
title = {A Coalgebraic Approach to Dualities for Neighborhood Frames.},
year = {2022},
journal = {Log. Methods Comput. Sci.},
author = {{Guram Bezhanishvili} and {Nick Bezhanishvili} and {Jim de Groot}}
}
@article{journals/lmcs/BezhanishviliCM22,
title = {Duality for powerset coalgebras.},
year = {2022},
journal = {Log. Methods Comput. Sci.},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/tamm/BezhanishviliMO22,
title = {A New Approach to the Katětov-Tong Theorem.},
year = {2022},
journal = {Am. Math. Mon.},
author = {{Guram Bezhanishvili} and {Patrick J. Morandi} and {Bruce Olberding}}
}
@article{journals/jsyml/BezhanishviliCM22,
title = {Modal Operators on Rings of Continuous Functions.},
year = {2022},
month = {December},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/tcs/BezhanishviliHM23,
title = {Remarks on hyperspaces for Priestley spaces.},
year = {2023},
journal = {Theor. Comput. Sci.},
author = {{Guram Bezhanishvili} and {John Harding} and {Patrick J. Morandi}}
}
@article{journals/jsyml/BezhanishviliBI23,
title = {Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.},
year = {2023},
month = {March},
journal = {J. Symb. Log.},
author = {{Guram Bezhanishvili} and {Kristina Brantley} and {Julia Ilin}}
}
@article{journals/rsl/BezhanishviliC23,
title = {Temporal Interpretation of Monadic Intuitionistic Quantifiers.},
year = {2023},
month = {March},
journal = {Rev. Symb. Log.},
author = {{Guram Bezhanishvili} and {Luca Carai}}
}
@article{journals/acs/BezhanishviliCMO23,
title = {De Vries Powers and Proximity Specker Algebras.},
year = {2023},
month = {June},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi} and {Bruce Olberding}}
}
@article{journals/order/BezhanishviliCM23,
title = {A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.},
year = {2023},
month = {July},
journal = {Order},
author = {{Guram Bezhanishvili} and {Luca Carai} and {Patrick J. Morandi}}
}
@article{journals/acs/BezhanishviliM23,
title = {Deriving Dualities in Pointfree Topology from Priestley Duality.},
year = {2023},
month = {October},
journal = {Appl. Categorical Struct.},
author = {{Guram Bezhanishvili} and {S. Melzer}}
}