Guram Bezhanishvili

According to our database1, Guram Bezhanishvili authored at least 67 papers between 1998 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
The Frame of Nuclei on an Alexandroff Space.
Order, 2021

Tree-like constructions in topology and modal logic.
Arch. Math. Log., 2021

2020
Coalgebras for the powerset functor and Thomason duality.
CoRR, 2020

Raney Algebras and Duality for T<sub>0</sub>-Spaces.
Appl. Categorical Struct., 2020

Temporal Interpretation of Intuitionistic Quantifiers.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Subframization and stabilization for superintuitionistic logics.
J. Log. Comput., 2019

A strict implication calculus for compact Hausdorff spaces.
Ann. Pure Appl. Log., 2019

On modal logics arising from scattered locally compact Hausdorff spaces.
Ann. Pure Appl. Log., 2019

Compact Hausdorff Spaces with Relations and Gleason Spaces.
Appl. Categorical Struct., 2019

2018
A New Proof of the McKinsey-Tarski Theorem.
Stud 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 J. Formal Log., 2017

Krull Dimension in Modal Logic.
J. Symb. Log., 2017

Proximity Biframes and Nachbin Spaces.
Appl. Categorical Struct., 2017

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.
Appl. Categorical Struct., 2017

2016
Cofinal Stable Logics.
Stud 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
What Does "Less Than or Equal" Really Mean?
Am. Math. Mon., 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.
Appl. Categorical Struct., 2015

2014
Proximity Frames and Regularization.
Appl. Categorical Struct., 2014

2013
Esakia Style Duality for Implicative Semilattices.
Appl. Categorical Struct., 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.
Synth., 2012

Foreword.
Stud 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 J. Formal Log., 2012

Subspaces of Q whose d-logics do not have the FMP.
Arch. Math. Log., 2012

De Vries Algebras and Compact Regular Frames.
Appl. Categorical Struct., 2012

2011
Priestley Style Duality for Distributive Meet-semilattices.
Stud Logica, 2011

An Algebraic Approach to Canonical Formulas: Modal Case.
Stud 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 J. Formal Log., 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.
Math. Struct. Comput. Sci., 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. Log., 2009

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

Spectral and <i>T</i><sub>0</sub>-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. Log., 2007

2006
Multimo dal Logics of Products of Topologies.
Stud Logica, 2006

Profinite Completions and Canonical Extensions of Heyting Algebras.
Order, 2006

2005
Some Results on Modal Axiomatization and Definability for Topological Spaces.
Stud Logica, 2005

Completeness of S4 with respect to the real line: revisited.
Ann. Pure Appl. Log., 2005

2003
Euclidean Hierarchy in Modal Logic.
Stud 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.
Stud Logica, 2001

2000
Varieties of Monadic Heyting Algebras. Part III.
Stud Logica, 2000

1999
Varieties of Monadic Heyting Algebras Part II: Duality Theory.
Stud Logica, 1999

1998
Varieties of Monadic Heyting Algebras - Part I.
Stud Logica, 1998

Locally Tabular Extensions of MIPC.
Proceedings of the Advances in Modal Logic 2, 1998


  Loading...