Canonical formulas for wK4. Guram Bezhanishvili and Nick Bezhanishvili. Submitted, November 2011.
Modal de Vries algebras. Guram Bezhanishvili, Nick Bezhanishvili, John Harding. Submitted, September 2011.
Sahlqvist theorem for modal fixed point logic. Nick Bezhanishvili and Ian Hodkinson, to appear in Theoretical Computer Science.
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators. Nick Bezhanishvili and Ian Hodkinson, to appear in Algebra Universalis.
Sahlqvist correspondence for modal mu-calculus. Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson, Studia Logica, vol. 100, 31-60, 2012.
Extendible formulas in two variables in intuitionistic logic. Nick Bezhanishvili and Dick de Jongh, Studia Logica, vol. 100, pp. 61-89, 2012.
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Nick Bezhanishvili and Mai Gehrke. Logical Methods in Computer Science, vol. (2:9), pp. 1-24, 2011.
An algebraic approach to canonical formulas: Modal case. Guram Bezhanishvili and Nick Bezhanishvili. Studia Logica, vol. 99, pp. 337-369, 2011.
Vietoris bisimulations. Nick Bezhanishvili, Gaelle Fontaine, Yde Venema. Journal of Logic and Computation, vol. 20, number 5, pp. 1017-1040, 2010.
Bitopological duality for distributive lattices and Heyting algebras. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz. Mathematical Structures in Computer Science, Vol. 20, Issue 03, pp. 359-393, 2010.
An algebraic approach to canonical formulas: Intuitionistic case. Guram Bezhanishvili and Nick Bezhanishvili. Review of Symbolic Logic, vol 2, number 3, pp. 517-549, 2009.
Profinite Heyting algebras. Guram Bezhanishvili and Nick Bezhanishvili. Order, vol. 25 (3), pp. 211-223, 2008.
Frame based formulas for intermediate logics. Nick Bezhanishvili. Studia Logica, vol. 90, pp. 139-159, 2008.
The Kuznetsov-Gerciu and Rieger-Nishimura logics: The boundaries of the finite model property. Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh. Logic and Logical Philosophy, vol. 17, pp. 73-110, 2008.
Transfer results for hybrid logic Part I: the case without the satisfaction operators. Nick Bezhanishvili and Balder ten Cate. Journal of Logic and Computation, 16, pp. 177-197, 2006.
All normal extensions of S5-squared are finitely axiomatizable. Nick Bezhanishvili and Ian Hodkinson. Studia Logica, 2004.
Varieties of two dimensional cylindric algebras. Part II. Nick Bezhanishvili. Algebra Universalis, 2004.
All proper normal extensions of S5-square have the polynomial size model property. Nick Bezhanishvili and Maarten Marx. Studia Logica, 2003.
Varieties of two dimensional cylindric algebras Part I: Diagonal-free case. Nick Bezhanishvili. Algebra Universalis, 2002.
Pseudomonadic algebras as algebraic models of doxastic modal logic. Nick Bezhanishvili. Mathematical Logic Quarterly, 2002.
Free Heyting Algebras: Revisited. Nick Bezhanishvili and Mai Gehrke. CALCO'09, LNCS 5728, pp. 251-266, 2009.
Free modal algebras: A coalgebraic perspective. Nick Bezhanishvili and Alexander Kurz. CALCO'07, LNCS 4624, pp. 143-157, 2007.
Distributive lattices with quantifier: Topological representation. Nick Bezhanishvili. Proceedings of ESSLLI'99 Student Session, 1999.
Pseudomonadic algebras. Nick Bezhanishvili. Proceedings of ESSLLI'96 Student Session, 1996.
Logic, Language, and Computation. Nick Bezhanishvili, Sebastian Loebner, Kerstin Schwabe, Luca Spada (Eds.), 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 2009, Revised Selected Papers, LNAI 6618, 2011.
Lattices of Intermediate and Cylindric Modal Logics. Nick Bezhanishvili. ILLC, University of Amsterdam, 2006.
Intuitionistic Logic. Nick Bezhanishvili and Dick de Jongh. ESSLLI'05 Course Notes, 2005.
De Jongh's characterization of intuitionistic propositional calculus. Nick Bezhanishvili. Liber Amicorum Dick de Jongh, 2004.