default search action
Guram Bezhanishvili
Person information
- affiliation: New Mexico State University, Las Cruces, NM, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j75]Guram Bezhanishvili, F. Dashiell, Aimé Razafindrakoto, J. Walters-Wayland:
Semilattice Base Hierarchy for Frames and Its Topological Ramifications. Appl. Categorical Struct. 32(4): 18 (2024) - [j74]Guram Bezhanishvili, David Fernández-Duque
:
The Baire Closure and its Logic. J. Symb. Log. 89(1): 27-49 (2024) - 2023
- [j73]Guram Bezhanishvili, Luca Carai
De Vries Powers and Proximity Specker Algebras. Appl. Categorical Struct. 31(3): 24 (2023) - [j72]Guram Bezhanishvili, Sebastian Melzer:
Deriving Dualities in Pointfree Topology from Priestley Duality. Appl. Categorical Struct. 31(5): 34 (2023) - [j71]Guram Bezhanishvili, Kristina Brantley, Julia Ilin:
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. J. Symb. Log. 88(1): 427-467 (2023) - [j70]Guram Bezhanishvili, Luca Carai, Patrick J. Morandi
A Point-Free Approach to Canonical Extensions of Boolean Algebras and Bounded Archimedean ℓ-Algebras. Order 40(2): 257-287 (2023) - [j69]Guram Bezhanishvili, Luca Carai
Temporal Interpretation of Monadic Intuitionistic Quantifiers. Rev. Symb. Log. 16(1): 164-187 (2023) - [j68]Guram Bezhanishvili, John Harding, Patrick J. Morandi:
Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. 943: 187-202 (2023) - 2022
- [j67]Guram Bezhanishvili, Luca Carai
The Vietoris functor and modal operators on rings of continuous functions. Ann. Pure Appl. Log. 173(1): 103029 (2022) - [j66]Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. J. Math. Log. 22(3): 2250013:1-2250013:21 (2022) - [j65]Guram Bezhanishvili, Luca Carai
Modal Operators on Rings of Continuous Functions. J. Symb. Log. 87(4): 1322-1348 (2022) - [j64]Guram Bezhanishvili, Luca Carai, Patrick J. Morandi:
Duality for powerset coalgebras. Log. Methods Comput. Sci. 18(1) (2022) - [j63]Guram Bezhanishvili, Nick Bezhanishvili
A Coalgebraic Approach to Dualities for Neighborhood Frames. Log. Methods Comput. Sci. 18(3) (2022) - [j62]Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding:
A New Approach to the Katětov-Tong Theorem. Am. Math. Mon. 129(1): 66-74 (2022) - 2021
- [j61]Guram Bezhanishvili, Luca Carai
Free bounded archimedean ℓ-algebras. Appl. Categorical Struct. 29(5): 879-888 (2021) - [j60]Guram Bezhanishvili, Nick Bezhanishvili
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60(3-4): 265-299 (2021) - [j59]Guram Bezhanishvili, Nick Bezhanishvili
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27(2): 187-211 (2021) - [j58]Guram Bezhanishvili, Nick Bezhanishvili
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86(1): 162-177 (2021) - [j57]F. Ávila, Guram Bezhanishvili, Patrick J. Morandi, A. Zaldívar:
The Frame of Nuclei on an Alexandroff Space. Order 38(1): 67-78 (2021) - [i2]Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot:
A Coalgebraic Approach to Dualities for Neighborhood Frames. CoRR abs/2106.01628 (2021) - 2020
- [j56]Guram Bezhanishvili, John Harding:
Raney Algebras and Duality for T0-Spaces. Appl. Categorical Struct. 28(6): 963-973 (2020) - [c7]Guram Bezhanishvili, Luca Carai:
Temporal Interpretation of Intuitionistic Quantifiers. AiML 2020: 95-114 - [i1]Guram Bezhanishvili, Luca Carai, Patrick J. Morandi:
Coalgebras for the powerset functor and Thomason duality. CoRR abs/2008.01849 (2020)
2010 – 2019
- 2019
- [j55]Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. 27(6): 663-686 (2019) - [j54]Guram Bezhanishvili, Nick Bezhanishvili
On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170(5): 558-577 (2019) - [j53]Guram Bezhanishvili, Nick Bezhanishvili
A strict implication calculus for compact Hausdorff spaces. Ann. Pure Appl. Log. 170(11) (2019) - [j52]Guram Bezhanishvili, Nick Bezhanishvili
Subframization and stabilization for superintuitionistic logics. J. Log. Comput. 29(1): 1-35 (2019) - 2018
- [j51]Guram Bezhanishvili, Nick Bezhanishvili
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11(1): 115-132 (2018) - [j50]Guram Bezhanishvili, Nick Bezhanishvili
Stable Modal Logics. Rev. Symb. Log. 11(3): 436-469 (2018) - [j49]Guram Bezhanishvili, Nick Bezhanishvili
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106(6): 1291-1311 (2018) - [e2]Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer:
Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. College Publications 2018, ISBN 978-1-84890-255-8 [contents] - 2017
- [j48]Guram Bezhanishvili, Nick Bezhanishvili
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl. Categorical Struct. 25(3): 381-401 (2017) - [j47]Guram Bezhanishvili, Patrick J. Morandi:
Proximity Biframes and Nachbin Spaces. Appl. Categorical Struct. 25(6): 1077-1095 (2017) - [j46]Guram Bezhanishvili, Nick Bezhanishvili
Krull Dimension in Modal Logic. J. Symb. Log. 82(4): 1356-1386 (2017) - [j45]Guram Bezhanishvili, Nick Bezhanishvili
Locally Finite Reducts of Heyting Algebras and Canonical Formulas. Notre Dame J. Formal Log. 58(1): 21-45 (2017) - 2016
- [j44]Guram Bezhanishvili, Nick Bezhanishvili
Stable Canonical Rules. J. Symb. Log. 81(1): 284-315 (2016) - [j43]Guram Bezhanishvili, John Harding:
On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order 33(2): 263-268 (2016) - [j42]Guram Bezhanishvili, Nick Bezhanishvili
Cofinal Stable Logics. Stud Logica 104(6): 1287-1317 (2016) - [c6]Guram Bezhanishvili, Wesley H. Holliday:
Locales, Nuclei, and Dragalin Frames. Advances in Modal Logic 2016: 177-196 - 2015
- [j41]Guram Bezhanishvili, Nick Bezhanishvili
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23(3): 365-379 (2015) - [j40]Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological Completeness of Logics above S4. J. Symb. Log. 80(2): 520-566 (2015) - [j39]Guram Bezhanishvili, Nick Bezhanishvili
Modal compact Hausdorff spaces. J. Log. Comput. 25(1): 1-35 (2015) - [j38]Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Modal Logics of Metric Spaces. Rev. Symb. Log. 8(1): 178-191 (2015) - [j37]Guram Bezhanishvili, David Pengelley:
What Does "Less Than or Equal" Really Mean? Am. Math. Mon. 122(10): 983-989 (2015) - 2014
- [j36]Guram Bezhanishvili, John Harding:
Proximity Frames and Regularization. Appl. Categorical Struct. 22(1): 43-78 (2014) - 2013
- [j35]Guram Bezhanishvili, Ramon Jansana
Esakia Style Duality for Implicative Semilattices. Appl. Categorical Struct. 21(2): 181-208 (2013) - [c5]Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze:
Funayama's theorem revisited. TACL 2013: 22-26 - [c4]Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan:
Topological completeness of extensions of S4. TACL 2013: 27-30 - [c3]Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi, Bruce Olberding:
Idempotent generated algebras and Boolean powers of commutative rings. TACL 2013: 31-34 - [e1]Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra
Logic, Language, and Computation - 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7758, Springer 2013, ISBN 978-3-642-36975-9 [contents] - 2012
- [j34]Guram Bezhanishvili:
De Vries Algebras and Compact Regular Frames. Appl. Categorical Struct. 20(6): 569-582 (2012) - [j33]Guram Bezhanishvili, Joel Lucero-Bryan
Subspaces of Q whose d-logics do not have the FMP. Arch. Math. Log. 51(5-6): 661-670 (2012) - [j32]Guram Bezhanishvili, Joel Lucero-Bryan
More on d-Logics of Subspaces of the Rational Numbers. Notre Dame J. Formal Log. 53(3): 319-345 (2012) - [j31]Guram Bezhanishvili, John Harding:
Modal Logics of Stone Spaces. Order 29(2): 271-292 (2012) - [j30]Guram Bezhanishvili, Nick Bezhanishvili
Canonical Formulas for Wk4. Rev. Symb. Log. 5(4): 731-762 (2012) - [j29]Lev D. Beklemishev
Foreword. Stud Logica 100(1-2): 1-7 (2012) - [j28]Marco Aiello
Logic for physical space - From antiquity to present days. Synth. 186(3): 619-632 (2012) - 2011
- [j27]Guram Bezhanishvili, David Gabelaia:
Connected modal logics. Arch. Math. Log. 50(3-4): 287-317 (2011) - [j26]Guram Bezhanishvili, Silvio Ghilardi
An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame J. Formal Log. 52(2): 187-202 (2011) - [j25]Guram Bezhanishvili, Ramon Jansana
Generalized Priestley Quasi-Orders. Order 28(2): 201-220 (2011) - [j24]Guram Bezhanishvili, Patrick J. Morandi:
Priestley Rings and Priestley Order-Compactifications. Order 28(3): 399-413 (2011) - [j23]Guram Bezhanishvili, Patrick J. Morandi:
Order-Compactifications of Totally Ordered Spaces: Revisited. Order 28(3): 577-592 (2011) - [j22]Guram Bezhanishvili, Ramon Jansana
Priestley Style Duality for Distributive Meet-semilattices. Stud Logica 98(1-2): 83-122 (2011) - [j21]Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica 99(1-3): 93-125 (2011) - 2010
- [j20]Guram Bezhanishvili, Patrick J. Morandi:
Scattered and hereditarily irresolvable spaces in modal logic. Arch. Math. Log. 49(3): 343-365 (2010) - [j19]Guram Bezhanishvili, Nick Bezhanishvili
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20(3): 359-393 (2010) - [j18]Guram Bezhanishvili, Leo Esakia, David Gabelaia:
The Modal Logic of Stone Spaces: diamond as derivative. Rev. Symb. Log. 3(1): 26-40 (2010)
2000 – 2009
- 2009
- [j17]Guram Bezhanishvili, John Harding:
The modal logic of beta(N). Arch. Math. Log. 48(3-4): 231-242 (2009) - [j16]Guram Bezhanishvili:
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. Ann. Pure Appl. Log. 161(3): 253-267 (2009) - [j15]Guram Bezhanishvili, Nick Bezhanishvili
An Algebraic Approach to Canonical Formulas: intuitionistic Case. Rev. Symb. Log. 2(3): 517-549 (2009) - [c2]Guram Bezhanishvili, Leo Esakia, David Gabelaia:
Spectral and T0-Spaces in d-Semantics. TbiLLC 2009: 16-29 - 2008
- [j14]Guram Bezhanishvili, Nick Bezhanishvili
Profinite Heyting Algebras. Order 25(3): 211-227 (2008) - [j13]Guram Bezhanishvili, Jacob Vosmaer:
Comparison of MacNeille, Canonical, and Profinite Completions. Order 25(4): 299-320 (2008) - 2007
- [j12]Guram Bezhanishvili, Silvio Ghilardi
An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147(1-2): 84-100 (2007) - [p1]Johan van Benthem, Guram Bezhanishvili:
Modal Logics of Space. Handbook of Spatial Logics 2007: 217-298 - 2006
- [j11]Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi:
Profinite Completions and Canonical Extensions of Heyting Algebras. Order 23(2-3): 143-161 (2006) - [j10]Johan van Benthem, Guram Bezhanishvili, Balder ten Cate
Multimo dal Logics of Products of Topologies. Stud Logica 84(3): 369-392 (2006) - 2005
- [j9]Guram Bezhanishvili, Mai Gehrke:
Completeness of S4 with respect to the real line: revisited. Ann. Pure Appl. Log. 131(1-3): 287-301 (2005) - [j8]Guram Bezhanishvili, Leo Esakia, David Gabelaia:
Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica 81(3): 325-355 (2005) - 2003
- [j7]Marco Aiello
Reasoning About Space: The Modal Way. J. Log. Comput. 13(6): 889-920 (2003) - [j6]Johan van Benthem, Guram Bezhanishvili, Mai Gehrke:
Euclidean Hierarchy in Modal Logic. Stud Logica 75(3): 327-344 (2003) - 2002
- [j5]Guram Bezhanishvili, Ray Mines, Patrick J. Morandi:
The Priestley Separation Axiom for Scattered Spaces. Order 19(1): 1-10 (2002) - 2001
- [j4]Guram Bezhanishvili:
Glivenko Type Theorems for Intuitionistic Modal Logics. Stud Logica 67(1): 89-109 (2001) - 2000
- [j3]Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras. Part III. Stud Logica 64(2): 215-256 (2000)
1990 – 1999
- 1999
- [j2]Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras Part II: Duality Theory. Stud Logica 62(1): 21-48 (1999) - 1998
- [j1]Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras - Part I. Stud Logica 61(3): 367-402 (1998) - [c1]Guram Bezhanishvili, Revaz Grigolia:
Locally Tabular Extensions of MIPC. Advances in Modal Logic 1998: 101-120
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: