dblp.uni-trier.dewww.uni-trier.de

Nick Bezhanishvili

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEGuram Bezhanishvili, Nick Bezhanishvili: Profinite Heyting Algebras. Order 25(3): 211-227 (2008)
7EENick Bezhanishvili: Frame Based Formulas for Intermediate Logics. Studia Logica 90(2): 139-159 (2008)
2007
6EENick Bezhanishvili, Alexander Kurz: Free Modal Algebras: A Coalgebraic Perspective. CALCO 2007: 143-157
2006
5EENick 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
4EENick 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
2EENick 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

Coauthor Index

1Guram Bezhanishvili [8]
2Balder ten Cate [5]
3Ian M. Hodkinson [4]
4Alexander Kurz [6]
5Maarten Marx [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)