Theo dõi
Nick Bezhanishvili
Nick Bezhanishvili
University of Amsterdam
Không có email được xác minh - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Lattices of intermediate and cylindric modal logics
N Bezhanishvili
University of Amsterdam, 2006
1462006
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
962010
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
702016
Intuitionistic logic
N Bezhanishvili, D de Jongh
572006
Profinite heyting algebras
G Bezhanishvili, N Bezhanishvili
Order 25, 211-227, 2008
522008
An algebraic approach to canonical formulas: Intuitionistic case
G Bezhanishvili, N Bezhanishvili
The Review of Symbolic Logic 2 (3), 517-549, 2009
502009
Irreducible equivalence relations, Gleason spaces, and de Vries duality
G Bezhanishvili, N Bezhanishvili, S Sourabh, Y Venema
Applied Categorical Structures 25, 381-401, 2017
462017
Minimization via duality
N Bezhanishvili, C Kupke, P Panangaden
International Workshop on Logic, Language, Information, and Computation, 191-205, 2012
442012
Free modal algebras: A coalgebraic perspective
N Bezhanishvili, A Kurz
International Conference on Algebra and Coalgebra in Computer Science, 143-157, 2007
442007
Stable canonical rules
G Bezhanishvili, N Bezhanishvili, R Iemhoff
The Journal of Symbolic Logic 81 (1), 284-315, 2016
432016
Modal compact Hausdorff spaces
G Bezhanishvili, N Bezhanishvili, J Harding
Journal of Logic and Computation 25 (1), 1-35, 2015
432015
Choice-free Stone duality
N Bezhanishvili, WH Holliday
The Journal of Symbolic Logic 85 (1), 109-148, 2020
412020
Sahlqvist correspondence for modal mu-calculus
J van Benthem, N Bezhanishvili, I Hodkinson
Studia Logica, 31-60, 2012
412012
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
N Bezhanishvili, M Gehrke
Logical Methods in Computer Science 7, 2011
402011
A bimodal perspective on possibility semantics
J Benthem, N Bezhanishvili, WH Holliday
Journal of Logic and Computation 27 (5), 1353-1389, 2017
392017
Instantial neighbourhood logic
J Van Benthem, N Bezhanishvili, S Enqvist, J Yu
The Review of Symbolic Logic 10 (1), 116-144, 2017
392017
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
392013
A topological approach to full belief
A Baltag, N Bezhanishvili, A Özgün, S Smets
Journal of Philosophical Logic 48, 205-244, 2019
382019
Locally finite reducts of Heyting algebras and canonical formulas
G Bezhanishvili, N Bezhanishvili
312017
Tarski's theorem on intuitionistic logic, for polyhedra
N Bezhanishvili, V Marra, D McNeill, A Pedrini
Annals of Pure and Applied Logic 169 (5), 373-391, 2018
302018
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20