×

zbMATH — the first resource for mathematics

Bezhanishvili, Guram

Compute Distance To:
Author ID: bezhanishvili.guram Recent zbMATH articles by "Bezhanishvili, Guram"
Published as: Bezhanishvili, Guram; Bezhanishvili, G.
Homepage: http://sierra.nmsu.edu/gbezhani/
External Links: dblp
Documents Indexed: 114 Publications since 1997, including 3 Books
Reviewing Activity: 14 Reviews

Publications by Year

Citations contained in zbMATH Open

90 Publications have been cited 541 times in 261 Documents Cited by Year
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
33
2003
Varieties of monadic Heyting algebras. I. Zbl 0964.06008
Bezhanishvili, Guram
19
1998
Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
18
2005
Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032
Bezhanishvili, Guram; Gehrke, Mai
16
2005
MacNeille completions of Heyting algebras. Zbl 1066.06005
Harding, John; Bezhanishvili, Guram
16
2004
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
16
2007
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
16
2006
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
15
2006
Profinite Heyting algebras. Zbl 1155.06007
Bezhanishvili, G.; Bezhanishvili, N.
14
2008
Locally finite varieties. Zbl 1064.08007
Bezhanishvili, Guram
13
2001
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
13
2010
Priestley style duality for distributive meet-semilattices. Zbl 1238.03050
Bezhanishvili, Guram; Jansana, Ramon
13
2011
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Zbl 1041.54034
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
13
2003
Stone duality and Gleason covers through de Vries duality. Zbl 1190.54015
Bezhanishvili, Guram
13
2010
Varieties of monadic Heyting algebras. II: Duality theory. Zbl 0973.06010
Bezhanishvili, Guram
12
1999
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
12
2009
Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. Zbl 1314.06020
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
11
2013
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
10
2016
Topo-canonical completions of closure algebras and Heyting algebras. Zbl 1135.06009
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
10
2008
Esakia style duality for implicative semilattices. Zbl 1294.06005
Bezhanishvili, Guram; Jansana, Ramon
9
2013
Epimorphisms in varieties of residuated structures. Zbl 1423.03064
Bezhanishvili, Guram; Moraschini, Tommaso; Raftery, James G.
8
2017
Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198
Bezhanishvili, Guram; Bezhanishvili, Nick
8
2017
Scattered and hereditarily irresolvable spaces in modal logic. Zbl 1196.03031
Bezhanishvili, Guram; Morandi, Patrick J.
8
2010
Krull dimension in modal logic. Zbl 1421.03007
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
7
2017
Varieties of monadic Heyting algebras. III. Zbl 0980.06007
Bezhanishvili, Guram
7
2000
Order-compactifications of totally ordered spaces: Revisited. Zbl 1232.54028
Bezhanishvili, Guram; Morandi, Patrick J.
7
2011
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
Profinite Heyting algebras and profinite completions of Heyting algebras. Zbl 1172.06004
Bezhanishvili, Guram; Morandi, Patrick J.
6
2009
On topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
6
2010
An algebraic approach to subframe logics. Modal case. Zbl 1246.03041
Bezhanishvili, Guram; Ghilardi, Silvio; Jibladze, Mamuka
6
2011
Locally finite varieties of Heyting algebras. Zbl 1094.06009
Bezhanishvili, Guram; Grigolia, Revaz
6
2005
An algebraic approach to canonical formulas: modal case. Zbl 1250.03124
Bezhanishvili, Guram; Bezhanishvili, Nick
6
2011
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
6
2014
When is the frame of nuclei spatial: a new approach. Zbl 1444.06007
Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.
5
2020
\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces. Zbl 1330.03040
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
5
2015
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. Zbl 1225.03019
Bezhanishvili, Guram
5
2009
Modal logics of Stone spaces. Zbl 1259.03030
Bezhanishvili, Guram; Harding, John
5
2012
De Vries algebras and compact regular frames. Zbl 1263.06003
Bezhanishvili, Guram
5
2012
Priestley rings and Priestley order-compactifications. Zbl 1231.54012
Bezhanishvili, Guram; Morandi, Patrick J.
5
2011
An extension of de Vries duality to completely regular spaces and compactifications. Zbl 1412.54034
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
4
2019
A semantic hierarchy for intuitionistic logic. Zbl 07049867
Bezhanishvili, Guram; Holliday, Wesley H.
4
2019
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
4
2008
The Priestley separation axiom for scattered spaces. Zbl 0995.54024
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
4
2002
Functional monadic Heyting algebras. Zbl 1062.06017
Bezhanishvili, Guram; Harding, John
4
2002
Canonical formulas \(\mathbf{wK4}\). Zbl 1314.03020
Bezhanishvili, Guram; Bezhanishvili, Nick
4
2012
Dedekind completions of bounded Archimedean \(\ell\)-algebras. Zbl 1269.06006
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
4
2013
Zero-dimensional proximities and zero-dimensional compactifications. Zbl 1165.54010
Bezhanishvili, Guram
4
2009
The modal logic of \({\beta(\mathbb{N})}\). Zbl 1169.03018
Bezhanishvili, Guram; Harding, John
4
2009
Idempotent generated algebras and Boolean powers of commutative rings. Zbl 1429.06028
Bezhanishvili, Guram; Marra, Vincenzo; Morandi, Patrick J.; Olberding, Bruce
4
2015
On the proof that compact Hausdorff Boolean algebras are powersets. Zbl 1356.06011
Bezhanishvili, Guram; Harding, John
4
2016
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
4
2017
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 07036292
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
3
2019
Cofinal stable logics. Zbl 1403.03045
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
3
2016
Spectra of compact regular frames. Zbl 1352.06009
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2016
Canonical extensions of bounded Archimedean vector lattices. Zbl 1469.06021
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
3
2018
Spectral and \(T _{0}\)-spaces in d-semantics. Zbl 1341.03026
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2011
Glivenko type theorems for intuitionistic modal logics. Zbl 1045.03020
Bezhanishvili, Guram
3
2001
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
3
2015
More on \(d\)-logics of subspaces of the rational numbers. Zbl 1271.03027
Bezhanishvili, Guram; Lucero-Bryan, Joel
3
2012
Funayama’s theorem revisited. Zbl 1285.06004
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2013
The modal logic of Stone spaces: diamond as derivative. Zbl 1197.03017
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
3
2014
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2
2018
Locally tabular extensions of MIPC. Zbl 0993.03014
Bezhanishvili, Guram; Grigolia, Revaz
2
2001
The frame of nuclei on an Alexandroff space. Zbl 07334049
Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.
2
2021
Topological completeness of logics above \(\mathbf{S4}\). Zbl 1372.03038
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2
2015
A generalization of Gelfand-Naimark-Stone duality to completely regular spaces. Zbl 1435.54007
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
2
2020
Leo Esakia on duality in modal and intuitionistic logics. Zbl 1291.03006
Bezhanishvili, Guram (ed.)
2
2014
Generalized Priestley quasi-orders. Zbl 1243.06003
Bezhanishvili, Guram; Jansana, Ramon
2
2011
Connected modal logics. Zbl 1241.03018
Bezhanishvili, Guram; Gabelaia, David
2
2011
MacNeille completions of modal algebras. Zbl 1124.06007
Bezhanishvili, Guram; Harding, John
2
2007
One-point order-compactifications. Zbl 1250.54031
Bezhanishvili, Guram
2
2011
A functorial approach to Dedekind completions and the representation of vector lattices and \(\ell\)-algebras by normal functions. Zbl 1401.06021
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
2
2016
A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2018
An algebraic approach to filtrations for superintuitionistic logics. Zbl 1418.03186
Bezhanishvili, Guram; Bezhanishvili, Nick
1
2016
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
1
2019
Tychonoff \(\mathsf{HED}\)-spaces and Zemanian extensions of \(\mathsf{S4.3}\). Zbl 06866170
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Van Mill, Jan
1
2018
Tree-like constructions in topology and modal logic. Zbl 07334533
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2021
De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces. Zbl 1332.06052
Bezhanishvili, Guram; Marra, Vincenzo; Morandi, Patrick J.; Olberding, Bruce
1
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
Proximity biframes and compactifications of completely regular ordered spaces. Zbl 1368.06004
Bezhanishvili, Guram; Morandi, Patrick J.
1
2015
Lattice subordinations and Priestley duality. Zbl 1311.06007
Bezhanishvili, Guram
1
2013
Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP. Zbl 1257.03044
Bezhanishvili, Guram; Lucero-Bryan, Joel
1
2012
K4.Grz and hereditarily irresolvable spaces. Zbl 1229.03018
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
1
2010
Comparison of MacNeille, canonical, and profinite completions. Zbl 1166.06002
Bezhanishvili, Guram; Vosmaer, Jacob
1
2008
Logics over MIPC. Zbl 0940.03022
Bezhanishvili, Guram; Zakharyaschev, Michael
1
1997
Pierce sheaves and commutative idempotent generated algebras. Zbl 1390.18028
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
1
2018
Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Mill, Jan Van
1
2021
The frame of nuclei on an Alexandroff space. Zbl 07334049
Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.
2
2021
Tree-like constructions in topology and modal logic. Zbl 07334533
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2021
Characterizing existence of a measurable cardinal via modal logic. Zbl 07370819
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Mill, Jan Van
1
2021
When is the frame of nuclei spatial: a new approach. Zbl 1444.06007
Ávila, F.; Bezhanishvili, G.; Morandi, P. J.; Zaldívar, A.
5
2020
A generalization of Gelfand-Naimark-Stone duality to completely regular spaces. Zbl 1435.54007
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
2
2020
An extension of de Vries duality to completely regular spaces and compactifications. Zbl 1412.54034
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
4
2019
A semantic hierarchy for intuitionistic logic. Zbl 07049867
Bezhanishvili, Guram; Holliday, Wesley H.
4
2019
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 07036292
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
3
2019
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
1
2019
Canonical extensions of bounded Archimedean vector lattices. Zbl 1469.06021
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
3
2018
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2
2018
A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2018
Tychonoff \(\mathsf{HED}\)-spaces and Zemanian extensions of \(\mathsf{S4.3}\). Zbl 06866170
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; Van Mill, Jan
1
2018
Pierce sheaves and commutative idempotent generated algebras. Zbl 1390.18028
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
1
2018
Epimorphisms in varieties of residuated structures. Zbl 1423.03064
Bezhanishvili, Guram; Moraschini, Tommaso; Raftery, James G.
8
2017
Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198
Bezhanishvili, Guram; Bezhanishvili, Nick
8
2017
Krull dimension in modal logic. Zbl 1421.03007
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
7
2017
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
4
2017
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
10
2016
On the proof that compact Hausdorff Boolean algebras are powersets. Zbl 1356.06011
Bezhanishvili, Guram; Harding, John
4
2016
Cofinal stable logics. Zbl 1403.03045
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
3
2016
Spectra of compact regular frames. Zbl 1352.06009
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2016
Compact Hausdorff Heyting algebras. Zbl 1352.06008
Bezhanishvili, Guram; Harding, John
2
2016
A functorial approach to Dedekind completions and the representation of vector lattices and \(\ell\)-algebras by normal functions. Zbl 1401.06021
Bezhanishvili, G.; Morandi, P. J.; Olberding, B.
2
2016
An algebraic approach to filtrations for superintuitionistic logics. Zbl 1418.03186
Bezhanishvili, Guram; Bezhanishvili, Nick
1
2016
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces. Zbl 1330.03040
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
5
2015
Idempotent generated algebras and Boolean powers of commutative rings. Zbl 1429.06028
Bezhanishvili, Guram; Marra, Vincenzo; Morandi, Patrick J.; Olberding, Bruce
4
2015
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
3
2015
Topological completeness of logics above \(\mathbf{S4}\). Zbl 1372.03038
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2
2015
De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces. Zbl 1332.06052
Bezhanishvili, Guram; Marra, Vincenzo; Morandi, Patrick J.; Olberding, Bruce
1
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
Proximity biframes and compactifications of completely regular ordered spaces. Zbl 1368.06004
Bezhanishvili, Guram; Morandi, Patrick J.
1
2015
Proximity frames and regularization. Zbl 1316.06009
Bezhanishvili, Guram; Harding, John
6
2014
Stable compactifications of frames. Zbl 1315.06010
Bezhanishvili, Guram; Harding, John
3
2014
Leo Esakia on duality in modal and intuitionistic logics. Zbl 1291.03006
Bezhanishvili, Guram
2
2014
Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. Zbl 1314.06020
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
11
2013
Esakia style duality for implicative semilattices. Zbl 1294.06005
Bezhanishvili, Guram; Jansana, Ramon
9
2013
Dedekind completions of bounded Archimedean \(\ell\)-algebras. Zbl 1269.06006
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
4
2013
Funayama’s theorem revisited. Zbl 1285.06004
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2013
Lattice subordinations and Priestley duality. Zbl 1311.06007
Bezhanishvili, Guram
1
2013
Modal logics of Stone spaces. Zbl 1259.03030
Bezhanishvili, Guram; Harding, John
5
2012
De Vries algebras and compact regular frames. Zbl 1263.06003
Bezhanishvili, Guram
5
2012
Canonical formulas \(\mathbf{wK4}\). Zbl 1314.03020
Bezhanishvili, Guram; Bezhanishvili, Nick
4
2012
More on \(d\)-logics of subspaces of the rational numbers. Zbl 1271.03027
Bezhanishvili, Guram; Lucero-Bryan, Joel
3
2012
Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP. Zbl 1257.03044
Bezhanishvili, Guram; Lucero-Bryan, Joel
1
2012
Priestley style duality for distributive meet-semilattices. Zbl 1238.03050
Bezhanishvili, Guram; Jansana, Ramon
13
2011
Order-compactifications of totally ordered spaces: Revisited. Zbl 1232.54028
Bezhanishvili, Guram; Morandi, Patrick J.
7
2011
An algebraic approach to subframe logics. Modal case. Zbl 1246.03041
Bezhanishvili, Guram; Ghilardi, Silvio; Jibladze, Mamuka
6
2011
An algebraic approach to canonical formulas: modal case. Zbl 1250.03124
Bezhanishvili, Guram; Bezhanishvili, Nick
6
2011
Priestley rings and Priestley order-compactifications. Zbl 1231.54012
Bezhanishvili, Guram; Morandi, Patrick J.
5
2011
Spectral and \(T _{0}\)-spaces in d-semantics. Zbl 1341.03026
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2011
Generalized Priestley quasi-orders. Zbl 1243.06003
Bezhanishvili, Guram; Jansana, Ramon
2
2011
Connected modal logics. Zbl 1241.03018
Bezhanishvili, Guram; Gabelaia, David
2
2011
One-point order-compactifications. Zbl 1250.54031
Bezhanishvili, Guram
2
2011
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
13
2010
Stone duality and Gleason covers through de Vries duality. Zbl 1190.54015
Bezhanishvili, Guram
13
2010
Scattered and hereditarily irresolvable spaces in modal logic. Zbl 1196.03031
Bezhanishvili, Guram; Morandi, Patrick J.
8
2010
On topological models of GLP. Zbl 1223.03047
Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas
6
2010
The modal logic of Stone spaces: diamond as derivative. Zbl 1197.03017
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
K4.Grz and hereditarily irresolvable spaces. Zbl 1229.03018
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
1
2010
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
12
2009
Profinite Heyting algebras and profinite completions of Heyting algebras. Zbl 1172.06004
Bezhanishvili, Guram; Morandi, Patrick J.
6
2009
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem. Zbl 1225.03019
Bezhanishvili, Guram
5
2009
Zero-dimensional proximities and zero-dimensional compactifications. Zbl 1165.54010
Bezhanishvili, Guram
4
2009
The modal logic of \({\beta(\mathbb{N})}\). Zbl 1169.03018
Bezhanishvili, Guram; Harding, John
4
2009
Profinite Heyting algebras. Zbl 1155.06007
Bezhanishvili, G.; Bezhanishvili, N.
14
2008
Topo-canonical completions of closure algebras and Heyting algebras. Zbl 1135.06009
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
10
2008
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
4
2008
Comparison of MacNeille, canonical, and profinite completions. Zbl 1166.06002
Bezhanishvili, Guram; Vosmaer, Jacob
1
2008
An algebraic approach to subframe logics. Intuitionistic case. Zbl 1123.03055
Bezhanishvili, Guram; Ghilardi, Silvio
16
2007
MacNeille completions of modal algebras. Zbl 1124.06007
Bezhanishvili, Guram; Harding, John
2
2007
Profinite completions and canonical extensions of Heyting algebras. Zbl 1112.06008
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J.
16
2006
Multimodal logics of products of topologies. Zbl 1113.03018
van Benthem, J.; Bezhanishvili, G.; ten Cate, B.; Sarenac, D.
15
2006
Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
18
2005
Completeness of S4 with respect to the real line: revisited. Zbl 1066.03032
Bezhanishvili, Guram; Gehrke, Mai
16
2005
Locally finite varieties of Heyting algebras. Zbl 1094.06009
Bezhanishvili, Guram; Grigolia, Revaz
6
2005
MacNeille completions of Heyting algebras. Zbl 1066.06005
Harding, John; Bezhanishvili, Guram
16
2004
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
33
2003
Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Zbl 1041.54034
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
13
2003
Euclidean hierarchy in modal logic. Zbl 1034.03020
van Benthem, Johan; Bezhanishvili, Guram; Gehrke, Mai
11
2003
The Priestley separation axiom for scattered spaces. Zbl 0995.54024
Bezhanishvili, Guram; Mines, Ray; Morandi, Patrick J.
4
2002
Functional monadic Heyting algebras. Zbl 1062.06017
Bezhanishvili, Guram; Harding, John
4
2002
Locally finite varieties. Zbl 1064.08007
Bezhanishvili, Guram
13
2001
Glivenko type theorems for intuitionistic modal logics. Zbl 1045.03020
Bezhanishvili, Guram
3
2001
Locally tabular extensions of MIPC. Zbl 0993.03014
Bezhanishvili, Guram; Grigolia, Revaz
2
2001
Varieties of monadic Heyting algebras. III. Zbl 0980.06007
Bezhanishvili, Guram
7
2000
Varieties of monadic Heyting algebras. II: Duality theory. Zbl 0973.06010
Bezhanishvili, Guram
12
1999
Varieties of monadic Heyting algebras. I. Zbl 0964.06008
Bezhanishvili, Guram
19
1998
Logics over MIPC. Zbl 0940.03022
Bezhanishvili, Guram; Zakharyaschev, Michael
1
1997
all top 5

Cited by 234 Authors

67 Bezhanishvili, Guram
29 Bezhanishvili, Nick
16 Morandi, Patrick J.
12 Lucero-Bryan, Joel Gregory
10 Celani, Sergio Arturo
10 Gabelaia, David
10 Harding, John
9 Olberding, Bruce M.
7 Citkin, Alex
7 Moraschini, Tommaso
7 Priestley, Hilary A.
7 van Mill, Jan
6 Davey, Brian A.
6 Esakia, Leo
5 Galatos, Nikolaos
5 Holliday, Wesley H.
5 Jansana, Ramon
5 Kremer, Philip
5 Nganou, Jean Bernard
5 van Benthem, Johan F. A. K.
5 Xu, Xiaoquan
4 Carai, Luca
4 Fernández Duque, David
4 Gehrke, Mai
4 Goldblatt, Robert Ian
4 Jibladze, Mamuka A.
4 Lando, Tamar
4 Litak, Tadeusz
4 Marra, Vincenzo
4 Rueda, Laura A.
4 Zhang, Wenfeng
3 Ciabattoni, Agata
3 Cimadamore, Cecilia Rossana
3 Díaz Varela, José Patricio
3 Ghilardi, Silvio
3 Haviar, Miroslav
3 Hodkinson, Ian Martin
3 Ilin, Julia
3 Künzi, Hans-Peter A.
3 Ma, Minghui
3 Palmigiano, Alessandra
3 Raftery, James G.
3 Suarez, Anna Laura
3 Sustretov, Dmitry
3 ten Cate, Balder David
3 Terui, Kazushige
3 Venema, Yde
3 Wannenburg, Johann J.
2 Aiello, Marco
2 Alizadeh, Majid
2 Ávila, F.
2 Bagaria, Joan
2 Beklemishev, Lev D.
2 Cabrer, Leonardo Manuel
2 Castaño, Diego N.
2 Cvetko-Vah, Karin
2 Darnière, Luck
2 Dimov, Georgi D.
2 Flaminio, Tommaso
2 Fussner, Wesley
2 González, Luciano Javier
2 Goudsmit, Jeroen P.
2 Gouveia, Maria João
2 Hartonas, Chrysafis
2 He, Pengfei
2 Heinemann, Bernhard
2 Hosni, Hykel
2 Jackson, Marcel G.
2 Järvinen, Jouni
2 Junker, Markus
2 Kortelainen, Jari
2 Lauridsen, Frederik Möllerström
2 Ledda, Antonio
2 Mints, Grigoriĭ Efroimovich
2 Montangie, Daniela
2 Picado, Jorge
2 Rachůnek, Jiří
2 Reggio, Luca
2 Sadrzadeh, Mehrnoosh
2 Sano, Katsuhiko
2 Shkatov, Dmitry
2 Spirito, Dario
2 Stronkowski, Michał Marek
2 van Alten, Clint J.
2 van Gool, Samuel Jacob
2 Vosmaer, Jacob
2 Walker, Carol L.
2 Walker, Elbert Abner
2 Xin, Xiaolong
2 Zaldívar Corichi, Luis Ángel
1 Abad, Manuel
1 Acharjee, Santanu
1 Aguilera, Juan Pablo
1 Andréka, Hajnal
1 Areces, Carlos
1 Arrieta, Igor
1 Azarpanah, Fariborz
1 Baboolal, Dharmanand
1 Ball, Richard N.
1 Baltag, Alexandru
...and 134 more Authors
all top 5

Cited in 54 Serials

27 Algebra Universalis
26 Studia Logica
23 Annals of Pure and Applied Logic
20 Topology and its Applications
17 Order
14 Applied Categorical Structures
12 The Review of Symbolic Logic
11 The Journal of Symbolic Logic
9 Archive for Mathematical Logic
8 Journal of Pure and Applied Algebra
7 Journal of Applied Non-Classical Logics
6 Fuzzy Sets and Systems
5 Journal of Philosophical Logic
4 Notre Dame Journal of Formal Logic
3 Journal of Algebra
3 Indagationes Mathematicae. New Series
3 The Bulletin of Symbolic Logic
3 Soft Computing
3 Logica Universalis
2 Rocky Mountain Journal of Mathematics
2 Advances in Mathematics
2 International Journal of Mathematics and Mathematical Sciences
2 Synthese
2 Transactions of the American Mathematical Society
2 Journal of Algebra and its Applications
2 Journal of Applied Logic
1 Acta Informatica
1 Artificial Intelligence
1 Bulletin of the Australian Mathematical Society
1 Discrete Applied Mathematics
1 Israel Journal of Mathematics
1 Journal of Mathematical Analysis and Applications
1 Algebra and Logic
1 Dissertationes Mathematicae
1 Information Sciences
1 Journal of Computer and System Sciences
1 Mathematica Slovaca
1 Quaestiones Mathematicae
1 Semigroup Forum
1 Theoretical Computer Science
1 Bulletin of the Section of Logic
1 Chinese Annals of Mathematics. Series B
1 International Journal of Approximate Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Logic, Language and Information
1 Mathematical Logic Quarterly (MLQ)
1 Filomat
1 Doklady Mathematics
1 Logic and Logical Philosophy
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Boletim da Sociedade Paranaense de Matemática. Terceira Série
1 Logical Methods in Computer Science
1 Open Mathematics

Citations by Year