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
1182006
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
682010
Justified belief and the topology of evidence
A Baltag, N Bezhanishvili, A Özgün, S Smets
International Workshop on Logic, Language, Information, and Computation, 83-103, 2016
622016
Intuitionistic logic
N Bezhanishvili, D de Jongh
482006
Minimization via duality
N Bezhanishvili, C Kupke, P Panangaden
International Workshop on Logic, Language, Information, and Computation, 191-205, 2012
462012
An algebraic approach to canonical formulas: Intuitionistic case
G Bezhanishvili, N Bezhanishvili
The Review of Symbolic Logic 2 (3), 517-549, 2009
442009
Sahlqvist correspondence for modal mu-calculus
J Van Benthem, N Bezhanishvili, I Hodkinson
Studia Logica, 31-60, 2012
402012
Profinite heyting algebras
G Bezhanishvili, N Bezhanishvili
Order 25 (3), 211-227, 2008
402008
Free modal algebras: A coalgebraic perspective
N Bezhanishvili, A Kurz
International Conference on Algebra and Coalgebra in Computer Science, 143-157, 2007
382007
Modal compact Hausdorff spaces
G Bezhanishvili, N Bezhanishvili, J Harding
Journal of Logic and Computation 25 (1), 1-35, 2015
362015
Irreducible equivalence relations, Gleason spaces, and de Vries duality
G Bezhanishvili, N Bezhanishvili, S Sourabh, Y Venema
Applied Categorical Structures 25 (3), 381-401, 2017
352017
A bimodal perspective on possibility semantics
J Benthem, N Bezhanishvili, WH Holliday
Journal of Logic and Computation 27 (5), 1353-1389, 2017
342017
The topology of belief, belief revision and defeasible knowledge
A Baltag, N Bezhanishvili, A Özgün, S Smets
International Workshop on Logic, Rationality and Interaction, 27-40, 2013
342013
Stable canonical rules
G Bezhanishvili, N Bezhanishvili, R Iemhoff
The Journal of Symbolic Logic 81 (1), 284-315, 2016
332016
Instantial neighbourhood logic
J Van Benthem, N Bezhanishvili, S Enqvist, J Yu
The Review of Symbolic Logic 10 (1), 116-144, 2017
312017
Locally finite reducts of Heyting algebras and canonical formulas
G Bezhanishvili, N Bezhanishvili
Notre Dame Journal of Formal Logic 58 (1), 21-45, 2017
312017
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
M Gehrke, N Bezhanishvili
Logical Methods in Computer Science 7, 2011
292011
Choice-free Stone duality
N Bezhanishvili, WH Holliday
The Journal of Symbolic Logic 85 (1), 109-148, 2020
272020
Sahlqvist theorem for modal fixed point logic
N Bezhanishvili, I Hodkinson
Theoretical Computer Science 424, 1-19, 2012
252012
A topological approach to full belief
A Baltag, N Bezhanishvili, A Özgün, S Smets
Journal of Philosophical Logic 48 (2), 205-244, 2019
242019
The system can't perform the operation now. Try again later.
Articles 1–20