Guram Bezhanishvili
According to our database^{1},
Guram Bezhanishvili
authored at least 61 papers
between 1998 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org
On csauthors.net:
Bibliography
2019
Subframization and stabilization for superintuitionistic logics.
J. Log. Comput., 2019
A strict implication calculus for compact Hausdorff spaces.
Ann. Pure Appl. Logic, 2019
On modal logics arising from scattered locally compact Hausdorff spaces.
Ann. Pure Appl. Logic, 2019
Compact Hausdorff Spaces with Relations and Gleason Spaces.
Applied Categorical Structures, 2019
2018
A New Proof of the McKinseyTarski Theorem.
Studia Logica, 2018
Tychonoff HEDSpaces and Zemanian Extensions of S4.3.
Rev. Symb. Log., 2018
Stable Modal Logics.
Rev. Symb. Log., 2018
2017
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.
Notre Dame Journal of Formal Logic, 2017
Krull Dimension in Modal Logic.
J. Symb. Log., 2017
Proximity Biframes and Nachbin Spaces.
Applied Categorical Structures, 2017
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.
Applied Categorical Structures, 2017
2016
Cofinal Stable Logics.
Studia Logica, 2016
On the Proof that Compact Hausdorff Boolean Algebras are Powersets.
Order, 2016
Stable Canonical Rules.
J. Symb. Log., 2016
Locales, Nuclei, and Dragalin Frames.
Proceedings of the Advances in Modal Logic 11, 2016
2015
Modal Logics of Metric Spaces.
Rev. Symb. Log., 2015
Modal compact Hausdorff spaces.
J. Log. Comput., 2015
Topological Completeness of Logics above S4.
J. Symb. Log., 2015
Modal Operators on Compact Regular Frames and de Vries Algebras.
Applied Categorical Structures, 2015
2014
Proximity Frames and Regularization.
Applied Categorical Structures, 2014
2013
Esakia Style Duality for Implicative Semilattices.
Applied Categorical Structures, 2013
Idempotent generated algebras and Boolean powers of commutative rings.
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.
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.
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.
Synthese, 2012
Foreword.
Studia Logica, 2012
Canonical Formulas for Wk4.
Rev. Symb. Log., 2012
Modal Logics of Stone Spaces.
Order, 2012
More on dLogics of Subspaces of the Rational Numbers.
Notre Dame Journal of Formal Logic, 2012
Subspaces of Q whose dlogics do not have the FMP.
Arch. Math. Log., 2012
De Vries Algebras and Compact Regular Frames.
Applied Categorical Structures, 2012
2011
Priestley Style Duality for Distributive Meetsemilattices.
Studia Logica, 2011
An Algebraic Approach to Canonical Formulas: Modal Case.
Studia Logica, 2011
OrderCompactifications of Totally Ordered Spaces: Revisited.
Order, 2011
Priestley Rings and Priestley OrderCompactifications.
Order, 2011
Generalized Priestley QuasiOrders.
Order, 2011
An Algebraic Approach to Subframe Logics. Modal Case.
Notre Dame Journal of Formal Logic, 2011
Connected modal logics.
Arch. Math. Log., 2011
2010
The Modal Logic of Stone Spaces: diamond as derivative.
Rev. Symb. Log., 2010
Bitopological duality for distributive lattices and Heyting algebras.
Mathematical Structures in Computer Science, 2010
Scattered and hereditarily irresolvable spaces in modal logic.
Arch. Math. Log., 2010
2009
An Algebraic Approach to Canonical Formulas: intuitionistic Case.
Rev. Symb. Log., 2009
The universal modality, the center of a Heyting algebra, and the BlokEsakia theorem.
Ann. Pure Appl. Logic, 2009
The modal logic of beta(N).
Arch. Math. Log., 2009
Spectral and T_{0}Spaces in dSemantics.
Proceedings of the Logic, Language, and Computation, 2009
2008
Comparison of MacNeille, Canonical, and Profinite Completions.
Order, 2008
Profinite Heyting Algebras.
Order, 2008
2007
Modal Logics of Space.
Proceedings of the Handbook of Spatial Logics, 2007
An algebraic approach to subframe logics. Intuitionistic case.
Ann. Pure Appl. Logic, 2007
2006
Multimo dal Logics of Products of Topologies.
Studia Logica, 2006
Profinite Completions and Canonical Extensions of Heyting Algebras.
Order, 2006
2005
Some Results on Modal Axiomatization and Definability for Topological Spaces.
Studia Logica, 2005
Completeness of S4 with respect to the real line: revisited.
Ann. Pure Appl. Logic, 2005
2003
Euclidean Hierarchy in Modal Logic.
Studia Logica, 2003
Reasoning About Space: The Modal Way.
J. Log. Comput., 2003
2002
The Priestley Separation Axiom for Scattered Spaces.
Order, 2002
2001
Glivenko Type Theorems for Intuitionistic Modal Logics.
Studia Logica, 2001
2000
Varieties of Monadic Heyting Algebras. Part III.
Studia Logica, 2000
1999
Varieties of Monadic Heyting Algebras Part II: Duality Theory.
Studia Logica, 1999
1998
Varieties of Monadic Heyting Algebras  Part I.
Studia Logica, 1998
Locally Tabular Extensions of MIPC.
Proceedings of the Advances in Modal Logic 2, 1998