2008 | ||
---|---|---|
8 | EE | Guram Bezhanishvili, Nick Bezhanishvili: Profinite Heyting Algebras. Order 25(3): 211-227 (2008) |
7 | EE | Nick Bezhanishvili: Frame Based Formulas for Intermediate Logics. Studia Logica 90(2): 139-159 (2008) |
2007 | ||
6 | EE | Nick Bezhanishvili, Alexander Kurz: Free Modal Algebras: A Coalgebraic Perspective. CALCO 2007: 143-157 |
2006 | ||
5 | EE | 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 | EE | 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 | EE | 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 |
1 | Guram Bezhanishvili | [8] |
2 | Balder ten Cate | [5] |
3 | Ian M. Hodkinson | [4] |
4 | Alexander Kurz | [6] |
5 | Maarten Marx | [3] |