According to our database
1,
Guram Bezhanishvili
authored at least 84 papers
between 1998 and 2024.
Collaborative distances:
2024
Semilattice Base Hierarchy for Frames and Its Topological Ramifications.
Appl. Categorical Struct., August, 2024
The Baire Closure and its Logic.
J. Symb. Log., 2024
2023
Deriving Dualities in Pointfree Topology from Priestley Duality.
Appl. Categorical Struct., October, 2023
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras.
Order, July, 2023
De Vries Powers and Proximity Specker Algebras.
Appl. Categorical Struct., June, 2023
Temporal Interpretation of Monadic Intuitionistic Quantifiers.
Rev. Symb. Log., March, 2023
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.
J. Symb. Log., March, 2023
Remarks on hyperspaces for Priestley spaces.
Theor. Comput. Sci., 2023
2022
Modal Operators on Rings of Continuous Functions.
J. Symb. Log., December, 2022
A New Approach to the Katětov-Tong Theorem.
Am. Math. Mon., 2022
Duality for powerset coalgebras.
Log. Methods Comput. Sci., 2022
A Coalgebraic Approach to Dualities for Neighborhood Frames.
Log. Methods Comput. Sci., 2022
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.
J. Math. Log., 2022
The Vietoris functor and modal operators on rings of continuous functions.
Ann. Pure Appl. Log., 2022
2021
The Frame of Nuclei on an Alexandroff Space.
Order, 2021
Characterizing existence of a Measurable cardinal via Modal Logic.
J. Symb. Log., 2021
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces.
Bull. Symb. Log., 2021
Tree-like constructions in topology and modal logic.
Arch. Math. Log., 2021
Free bounded archimedean ℓ-algebras.
Appl. Categorical Struct., 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
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
On the Proof that Compact Hausdorff Boolean Algebras are Powersets.
Order, 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
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
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
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
