×

zbMATH — the first resource for mathematics

Bezhanishvili, Nick

Compute Distance To:
Author ID: bezhanishvili.nick Recent zbMATH articles by "Bezhanishvili, Nick"
Published as: Bezhanishvili, Nick; Bezhanishvili, N.
Documents Indexed: 74 Publications since 2002, including 2 Books
Reviewing Activity: 13 Reviews

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 237 times in 142 Documents Cited by Year
Profinite Heyting algebras. Zbl 1155.06007
Bezhanishvili, G.; Bezhanishvili, N.
14
2008
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
13
2010
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
12
2009
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
11
2012
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
10
2016
Locally finite reducts of Heyting algebras and canonical formulas. Zbl 1417.03198
Bezhanishvili, Guram; Bezhanishvili, Nick
8
2017
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
8
2012
Krull dimension in modal logic. Zbl 1421.03007
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
7
2017
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019
Bezhanishvili, Nick; de Jongh, Dick
7
2012
The topology of belief, belief revision and defeasible knowledge. Zbl 1407.03017
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
6
2013
An algebraic approach to canonical formulas: modal case. Zbl 1250.03124
Bezhanishvili, Guram; Bezhanishvili, Nick
6
2011
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003
Bezhanishvili, Nick; Gehrke, Mai
6
2011
Frame based formulas for intermediate logics. Zbl 1172.03019
Bezhanishvili, Nick
6
2008
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
5
2014
\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces. Zbl 1330.03040
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
5
2015
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
Justified belief and the topology of evidence. Zbl 06625881
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
5
2016
Bounded proofs and step frames. Zbl 1401.03043
Bezhanishvili, Nick; Ghilardi, Silvio
5
2013
Free modal algebras: a coalgebraic perspective. Zbl 1214.03052
Bezhanishvili, N.; Kurz, A.
5
2007
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
4
2017
Transfer results for hybrid logic. I: The case without satisfaction operators. Zbl 1101.03019
Bezhanishvili, Nick; ten Cate, Balder
4
2006
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
Canonical formulas \(\mathbf{wK4}\). Zbl 1314.03020
Bezhanishvili, Guram; Bezhanishvili, Nick
4
2012
Vietoris bisimulations. Zbl 1266.03029
Bezhanishvili, N.; Fontaine, G.; Venema, Y.
3
2010
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
3
2015
Structures for epistemic logic. Zbl 1354.03012
Bezhanishvili, Nick; van der Hoek, Wiebe
3
2014
Free modal algebras revisited: the step-by-step method. Zbl 1350.03048
Bezhanishvili, Nick; Ghilardi, Silvio; Jibladze, Mamuka
3
2014
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
3
2014
Cofinal stable logics. Zbl 1403.03045
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
3
2016
A propositional dynamic logic for instantial neighborhood models. Zbl 06810778
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
3
2017
Varieties of two-dimensional cylindric algebras. I: Diagonal-free case. Zbl 1058.03072
Bezhanishvili, Nick
3
2002
On modal logics arising from scattered locally compact Hausdorff spaces. Zbl 07036292
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
3
2019
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
3
2017
Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020
Bezhanishvili, Nick; Hodkinson, Ian
3
2012
All proper normal extensions of S5-square have the polynomial size model property. Zbl 1027.03015
Bezhanishvili, Nick; Marx, Maarten
3
2003
Stable formulas in intuitionistic logic. Zbl 1456.03052
Bezhanishvili, Nick; de Jongh, Dick
3
2018
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
Tarski’s theorem on intuitionistic logic, for polyhedra. Zbl 1390.03015
Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea
2
2018
All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010
Bezhanishvili, Nick; Hodkinson, Ian
2
2004
Pseudomonadic algebras as algebraic models of doxastic modal logic. Zbl 1016.03067
Bezhanishvili, Nick
2
2002
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2
2018
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2
2019
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017
Bezhanishvili, Nick; Hodkinson, Ian
2
2012
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
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
One-step Heyting algebras and hypersequent calculi with the bounded proof property. Zbl 1444.03101
Bezhanishvili, Nick; Ghilardi, Silvio; Lauridsen, Frederik Möllerström
1
2017
Sahlqvist preservation for topological fixed-point logic. Zbl 1444.03044
Bezhanishvili, Nick; Sourabh, Sumit
1
2017
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
Varieties of two-dimensional cylindric algebras. II. Zbl 1082.03051
Bezhanishvili, Nick
1
2004
Varieties of two-dimensional cylindric algebras. Zbl 1319.03065
Bezhanishvili, Nick
1
2012
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
1
2019
The topology of full and weak belief. Zbl 1428.03046
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
1
2017
Choice-free Stone duality. Zbl 1444.03172
Bezhanishvili, Nick; Holliday, Wesley H.
1
2020
A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2018
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
1
2019
An algebraic approach to filtrations for superintuitionistic logics. Zbl 1418.03186
Bezhanishvili, Guram; Bezhanishvili, Nick
1
2016
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
1
2019
Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Zbl 1218.03003
Bezhanishvili, Nick (ed.); Löbner, Sebastian (ed.); Schwabe, Kerstin (ed.); Spada, Luca (ed.)
1
2011
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
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
Choice-free Stone duality. Zbl 1444.03172
Bezhanishvili, Nick; Holliday, Wesley H.
1
2020
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 new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2
2019
A strict implication calculus for compact Hausdorff spaces. Zbl 1446.03041
Bezhanishvili, G.; Bezhanishvili, N.; Santoli, T.; Venema, Y.
1
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
1
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
1
2019
Stable formulas in intuitionistic logic. Zbl 1456.03052
Bezhanishvili, Nick; de Jongh, Dick
3
2018
Tarski’s theorem on intuitionistic logic, for polyhedra. Zbl 1390.03015
Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea
2
2018
Stable modal logics. Zbl 06965268
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
2
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
A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084
Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J.
1
2018
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
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
Irreducible equivalence relations, Gleason spaces, and de Vries duality. Zbl 1425.54006
Bezhanishvili, Guram; Bezhanishvili, Nick; Sourabh, Sumit; Venema, Yde
4
2017
A propositional dynamic logic for instantial neighborhood models. Zbl 06810778
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
3
2017
Instantial neighbourhood logic. Zbl 1417.03162
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian; Yu, Junhua
3
2017
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices. Zbl 1420.03147
Bezhanishvili, Nick; Galatos, Nick; Spada, Luca
2
2017
One-step Heyting algebras and hypersequent calculi with the bounded proof property. Zbl 1444.03101
Bezhanishvili, Nick; Ghilardi, Silvio; Lauridsen, Frederik Möllerström
1
2017
Sahlqvist preservation for topological fixed-point logic. Zbl 1444.03044
Bezhanishvili, Nick; Sourabh, Sumit
1
2017
The topology of full and weak belief. Zbl 1428.03046
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
1
2017
Stable canonical rules. Zbl 1345.03034
Bezhanishvili, Guram; Bezhanishvili, Nick; Iemhoff, Rosalie
10
2016
Justified belief and the topology of evidence. Zbl 06625881
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
5
2016
Cofinal stable logics. Zbl 1403.03045
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia
3
2016
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
An algebraic approach to filtrations for superintuitionistic logics. Zbl 1418.03186
Bezhanishvili, Guram; Bezhanishvili, Nick
1
2016
\(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces. Zbl 1330.03040
Bezhanishvili, Guram; Bezhanishvili, Nick; Lucero-Bryan, Joel; van Mill, Jan
5
2015
Modal compact Hausdorff spaces. Zbl 1382.03089
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
3
2015
Modal operators on compact regular frames and de Vries algebras. Zbl 1321.06007
Bezhanishvili, Guram; Bezhanishvili, Nick; Harding, John
1
2015
Multiple-conclusion rules, hypersequents syntax and step frames. Zbl 1385.03016
Bezhanishvili, Nick; Ghilardi, Silvio
7
2014
The bounded proof property via step algebras and step frames. Zbl 1361.03013
Bezhanishvili, Nick; Ghilardi, Silvio
5
2014
Structures for epistemic logic. Zbl 1354.03012
Bezhanishvili, Nick; van der Hoek, Wiebe
3
2014
Free modal algebras revisited: the step-by-step method. Zbl 1350.03048
Bezhanishvili, Nick; Ghilardi, Silvio; Jibladze, Mamuka
3
2014
Changing a semantics: opportunism or courage? Zbl 1347.03014
Andréka, Hajnal; van Benthem, Johan; Bezhanishvili, Nick; Németi, István
3
2014
The topology of belief, belief revision and defeasible knowledge. Zbl 1407.03017
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
6
2013
Bounded proofs and step frames. Zbl 1401.03043
Bezhanishvili, Nick; Ghilardi, Silvio
5
2013
Minimization via duality. Zbl 1361.68157
Bezhanishvili, Nick; Kupke, Clemens; Panangaden, Prakash
11
2012
Sahlqvist correspondence for modal mu-calculus. Zbl 1404.03021
van Benthem, Johan; Bezhanishvili, Nick; Hodkinson, Ian
8
2012
Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019
Bezhanishvili, Nick; de Jongh, Dick
7
2012
Canonical formulas \(\mathbf{wK4}\). Zbl 1314.03020
Bezhanishvili, Guram; Bezhanishvili, Nick
4
2012
Sahlqvist theorem for modal fixed point logic. Zbl 1268.03020
Bezhanishvili, Nick; Hodkinson, Ian
3
2012
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Zbl 1266.06017
Bezhanishvili, Nick; Hodkinson, Ian
2
2012
Varieties of two-dimensional cylindric algebras. Zbl 1319.03065
Bezhanishvili, Nick
1
2012
An algebraic approach to canonical formulas: modal case. Zbl 1250.03124
Bezhanishvili, Guram; Bezhanishvili, Nick
6
2011
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Zbl 1229.06003
Bezhanishvili, Nick; Gehrke, Mai
6
2011
Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Zbl 1218.03003
Bezhanishvili, Nick; Löbner, Sebastian; Schwabe, Kerstin; Spada, Luca
1
2011
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
13
2010
Vietoris bisimulations. Zbl 1266.03029
Bezhanishvili, N.; Fontaine, G.; Venema, Y.
3
2010
An algebraic approach to canonical formulas: intuitionistic case. Zbl 1183.03065
Bezhanishvili, Guram; Bezhanishvili, Nick
12
2009
Profinite Heyting algebras. Zbl 1155.06007
Bezhanishvili, G.; Bezhanishvili, N.
14
2008
Frame based formulas for intermediate logics. Zbl 1172.03019
Bezhanishvili, Nick
6
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
Free modal algebras: a coalgebraic perspective. Zbl 1214.03052
Bezhanishvili, N.; Kurz, A.
5
2007
Transfer results for hybrid logic. I: The case without satisfaction operators. Zbl 1101.03019
Bezhanishvili, Nick; ten Cate, Balder
4
2006
All normal extensions of S5-squared are finitely axiomatizable. Zbl 1069.03010
Bezhanishvili, Nick; Hodkinson, Ian
2
2004
Varieties of two-dimensional cylindric algebras. II. Zbl 1082.03051
Bezhanishvili, Nick
1
2004
All proper normal extensions of S5-square have the polynomial size model property. Zbl 1027.03015
Bezhanishvili, Nick; Marx, Maarten
3
2003
Varieties of two-dimensional cylindric algebras. I: Diagonal-free case. Zbl 1058.03072
Bezhanishvili, Nick
3
2002
Pseudomonadic algebras as algebraic models of doxastic modal logic. Zbl 1016.03067
Bezhanishvili, Nick
2
2002
all top 5

Cited by 159 Authors

34 Bezhanishvili, Nick
30 Bezhanishvili, Guram
8 Lucero-Bryan, Joel Gregory
7 van Benthem, Johan F. A. K.
7 van Mill, Jan
5 Citkin, Alex
5 Gabelaia, David
5 Holliday, Wesley H.
4 Conradie, Willem J.
4 Gehrke, Mai
4 Ghilardi, Silvio
4 Harding, John
4 Hodkinson, Ian Martin
4 Jibladze, Mamuka A.
4 Özgün, Aybüke
4 Palmigiano, Alessandra
4 San Martín, Hernán Javier
3 Goudsmit, Jeroen P.
3 Ilin, Julia
3 Klein, Dominik A.
3 Litak, Tadeusz
3 Moraschini, Tommaso
3 Sourabh, Sumit
2 Adámek, Jiří
2 Andréka, Hajnal
2 Baltag, Alexandru
2 Castiglioni, José Luis
2 Celani, Sergio Arturo
2 Ciabattoni, Agata
2 Colcombet, Thomas
2 de Jongh, Dick H. J.
2 Docherty, Simon
2 Enqvist, Sebastian
2 Galatos, Nikolaos
2 Gratzl, Norbert
2 Hartonas, Chrysafis
2 Jansana, Ramon
2 Lauridsen, Frederik Möllerström
2 Milius, Stefan
2 Myers, Robert S. R.
2 Németi, István
2 Neves, Renato
2 Nganou, Jean Bernard
2 Panangaden, Prakash
2 Petrisan, Daniela Luan
2 Pym, David J.
2 Rot, Jurriaan
2 Roy, Olivier
2 Rutten, Jan J. M. M.
2 Shirmohammadzadeh Maleki, Fatemeh
2 Shkatov, Dmitry
2 Smets, Sonja J. L.
2 Spirito, Dario
2 Stronkowski, Michał Marek
2 Urbat, Henning
2 van Alten, Clint J.
2 Venema, Yde
2 Zamansky, Anna
1 Acharjee, Santanu
1 Alizadeh, Majid
1 Ávila, F.
1 Avron, Arnon
1 Balle, Borja
1 Ballester-Bolinches, Adolfo
1 Banerjee, Amitayu
1 Barbosa, Luís Soares
1 Battigalli, Pierpaolo
1 Bauer, Andrej
1 Bibak, Ali
1 Bjorndahl, Adam
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Brunner, Andreas Bernhard Michael
1 Bruun, Hans
1 Busaniche, Manuela
1 Cabrer, Leonardo Manuel
1 Caleiro, Carlos
1 Carai, Luca
1 Cordero, Penélope
1 Cosme-Llópez, Enric
1 Coumans, Dion C. S.
1 Cvetko-Vah, Karin
1 Darnière, Luck
1 Das, Litan Kumar
1 Di Nola, Antonio
1 Dimov, Georgi D.
1 Figallo Orellano, Aldo
1 Finocchiaro, Carmelo Antonio
1 Fomatati, Yves
1 Fontana, Marco
1 Fritz, Peter
1 Georgiev, Dimiter T.
1 Gutiérrez García, Javier
1 Haniková, Zuzana
1 Hansen, Helle Hvid
1 Harrison-Trainor, Matthew
1 Hofmann, Dirk
1 Iemhoff, Rosalie
1 Ivanova-Dimova, Elza
1 Izmailov, M. M.
...and 59 more Authors

Citations by Year