Follow
Nick Bezhanishvili
Nick Bezhanishvili
University of Amsterdam
No verified email - Homepage
Title
Cited by
Cited by
Year
Lattices of intermediate and cylindric modal logics
N Bezhanishvili
University of Amsterdam, 2006
1312006
Bitopological duality for distributive lattices and Heyting algebras
G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz
Mathematical Structures in Computer Science 20 (3), 359-393, 2010
852010
Justified belief and the topology of evidence
A Baltag, N Bezhanishvili, A Özgün, S Smets
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
672016
Intuitionistic logic
N Bezhanishvili, D de Jongh
522006
Profinite heyting algebras
G Bezhanishvili, N Bezhanishvili
Order 25, 211-227, 2008
502008
An algebraic approach to canonical formulas: Intuitionistic case
G Bezhanishvili, N Bezhanishvili
The Review of Symbolic Logic 2 (3), 517-549, 2009
462009
Free modal algebras: A coalgebraic perspective
N Bezhanishvili, A Kurz
International Conference on Algebra and Coalgebra in Computer Science, 143-157, 2007
452007
Minimization via duality
N Bezhanishvili, C Kupke, P Panangaden
International Workshop on Logic, Language, Information, and Computation, 191-205, 2012
432012
Irreducible equivalence relations, Gleason spaces, and de Vries duality
G Bezhanishvili, N Bezhanishvili, S Sourabh, Y Venema
Applied Categorical Structures 25, 381-401, 2017
412017
Modal compact Hausdorff spaces
G Bezhanishvili, N Bezhanishvili, J Harding
Journal of Logic and Computation 25 (1), 1-35, 2015
402015
Sahlqvist correspondence for modal mu-calculus
J van Benthem, N Bezhanishvili, I Hodkinson
Studia Logica, 31-60, 2012
392012
Stable canonical rules
G Bezhanishvili, N Bezhanishvili, R Iemhoff
The Journal of Symbolic Logic 81 (1), 284-315, 2016
382016
Instantial neighbourhood logic
J Van Benthem, N Bezhanishvili, S Enqvist, J Yu
The Review of Symbolic Logic 10 (1), 116-144, 2017
372017
Choice-free Stone duality
N Bezhanishvili, WH Holliday
The Journal of Symbolic Logic 85 (1), 109-148, 2020
362020
A topological approach to full belief
A Baltag, N Bezhanishvili, A Özgün, S Smets
Journal of Philosophical Logic 48, 205-244, 2019
362019
A bimodal perspective on possibility semantics
J Benthem, N Bezhanishvili, WH Holliday
Journal of Logic and Computation 27 (5), 1353-1389, 2017
362017
The topology of belief, belief revision and defeasible knowledge
A Baltag, N Bezhanishvili, A Özgün, S Smets
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013 …, 2013
362013
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
N Bezhanishvili, M Gehrke
Logical Methods in Computer Science 7, 2011
352011
Locally finite reducts of Heyting algebras and canonical formulas
G Bezhanishvili, N Bezhanishvili
302017
Vietoris bisimulations
N Bezhanishvili, G Fontaine, Y Venema
Journal of Logic and Computation 20 (5), 1017-1040, 2010
282010
The system can't perform the operation now. Try again later.
Articles 1–20