computer science

Publications

Recent Work

Bitopological Duality for Distributive Lattices and Heyting Algebras. Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz. Submitted, 2008.

Free Heyting Algebras: Revisited. Nick Bezhanishvili, Mai Gehrke, Alexander Kurz. Extended abstract, full paper - in preparation, 2008.

Vietoris Bisimulations of Descriptive Models. Nick Bezhanishvili, Gaelle Fontaine, Yde Venema. Submitted, 2007.

Extendable Formulas in Two Variables in Intuitionistic Logic. Nick Bezhanishvili and Dick de Jongh. Extended abstract, full paper - in preparation, 2007.

PhD Thesis

Lattices of Intermediate and Cylindric Modal Logics. Nick Bezhanishvili. ILLC, University of Amsterdam, 2006.

Refereed Publications

Profinite Heyting Algebras. Guram Bezhanishvili and Nick Bezhanishvili. To appear in Order.

Frame Based Formulas for Intermediate Logics. Nick Bezhanishvili. To appear in Studia Logica.

The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property. Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh. To appear in Special Issue of Logic and Logical Philosophy Dedicated to A.V. Kuznetsov.

Free modal algebras: A coalgebraic perspective. Nick Bezhanishvili and Alexander Kurz. CALCO'07, LNCS 4624, pp. 143-157, 2007.

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.

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.

Other Publications

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.

Author: Nick Bezhanishvili, T: +44 (0) 116 252 5243.
© University of Leicester. Last modified: 21st May 2006, 16:41:06.
CS Web Maintainer. Any opinions expressed on this page are those of the author.