 | 2012 |
|---|
| 17 |       | Johan van Benthem,
Nick Bezhanishvili,
Ian M. Hodkinson:
Sahlqvist Correspondence for Modal mu-calculus.
Studia Logica 100(1-2): 31-60 (2012) |
| 16 | | Nick Bezhanishvili,
Dick de Jongh:
Extendible Formulas in Two Variables in Intuitionistic Logic.
Studia Logica 100(1-2): 61-89 (2012) |
| 15 | | Nick Bezhanishvili,
Ian M. Hodkinson:
Sahlqvist theorem for modal fixed point logic.
Theor. Comput. Sci. 424: 1-19 (2012) |
| 2011 |
|---|
| 14 | | Nick Bezhanishvili,
Sebastian Löbner,
Kerstin Schwabe,
Luca Spada:
Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Springer 2011 |
| 13 | | Nick Bezhanishvili,
Mai Gehrke:
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Logical Methods in Computer Science 7(2): (2011) |
| 12 | | Guram Bezhanishvili,
Nick Bezhanishvili:
An Algebraic Approach to Canonical Formulas: Modal Case.
Studia Logica 99(1-3): 93-125 (2011) |
| 2010 |
|---|
| 11 | | Nick Bezhanishvili,
Gaëlle Fontaine,
Yde Venema:
Vietoris Bisimulations.
J. Log. Comput. 20(5): 1017-1040 (2010) |
| 10 | | Guram Bezhanishvili,
Nick Bezhanishvili,
David Gabelaia,
Alexander Kurz:
Bitopological duality for distributive lattices and Heyting algebras.
Mathematical Structures in Computer Science 20(3): 359-393 (2010) |
| 2009 |
|---|
| 9 | | Nick Bezhanishvili,
Mai Gehrke:
Free Heyting Algebras: Revisited.
CALCO 2009: 251-266 |
| 2008 |
|---|
| 8 | | Guram Bezhanishvili,
Nick Bezhanishvili:
Profinite Heyting Algebras.
Order 25(3): 211-227 (2008) |
| 7 | | Nick Bezhanishvili:
Frame Based Formulas for Intermediate Logics.
Studia Logica 90(2): 139-159 (2008) |
| 2007 |
|---|
| 6 | | Nick Bezhanishvili,
Alexander Kurz:
Free Modal Algebras: A Coalgebraic Perspective.
CALCO 2007: 143-157 |
| 2006 |
|---|
| 5 | | Nick Bezhanishvili,
Balder ten Cate:
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators.
J. Log. Comput. 16(2): 177-197 (2006) |
| 2004 |
|---|
| 4 | | Nick Bezhanishvili,
Ian M. Hodkinson:
All Normal Extensions of S5-squared Are Finitely Axiomatizable.
Studia Logica 78(3): 443-457 (2004) |
| 2003 |
|---|
| 3 | | Nick Bezhanishvili,
Maarten Marx:
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property.
Studia Logica 73(3): 367-382 (2003) |
| 2002 |
|---|
| 2 | | Nick Bezhanishvili:
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.
Math. Log. Q. 48(4): 624-636 (2002) |
| 1999 |
|---|
| 1 |  | Nick Bezhanishvili:
Distributive Lattices with Quantifiers: Topological Representation.
ESSLLI Student Papers 1999: 91-102 |
Data released under the ODC-BY 1.0 license — See also our legal information page