Guram Bezhanishvili

According to our database1, Guram Bezhanishvili authored at least 61 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

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 McKinsey-Tarski Theorem.
Studia Logica, 2018

Tychonoff HED-Spaces 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 d-Logics of Subspaces of the Rational Numbers.
Notre Dame Journal of Formal Logic, 2012

Subspaces of Q whose d-logics 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 Meet-semilattices.
Studia Logica, 2011

An Algebraic Approach to Canonical Formulas: Modal Case.
Studia Logica, 2011

Order-Compactifications of Totally Ordered Spaces: Revisited.
Order, 2011

Priestley Rings and Priestley Order-Compactifications.
Order, 2011

Generalized Priestley Quasi-Orders.
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 Blok-Esakia theorem.
Ann. Pure Appl. Logic, 2009

The modal logic of beta(N).
Arch. Math. Log., 2009

Spectral and T0-Spaces in d-Semantics.
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


  Loading...