2008 |
15 | EE | Guram Bezhanishvili,
Nick Bezhanishvili:
Profinite Heyting Algebras.
Order 25(3): 211-227 (2008) |
2007 |
14 | EE | Johan van Benthem,
Guram Bezhanishvili:
Modal Logics of Space.
Handbook of Spatial Logics 2007: 217-298 |
13 | EE | Guram Bezhanishvili,
Silvio Ghilardi:
An algebraic approach to subframe logics. Intuitionistic case.
Ann. Pure Appl. Logic 147(1-2): 84-100 (2007) |
2006 |
12 | EE | Guram Bezhanishvili,
Mai Gehrke,
Ray Mines,
Patrick J. Morandi:
Profinite Completions and Canonical Extensions of Heyting Algebras.
Order 23(2-3): 143-161 (2006) |
11 | EE | Johan van Benthem,
Guram Bezhanishvili,
Balder ten Cate,
Darko Sarenac:
Multimo dal Logics of Products of Topologies.
Studia Logica 84(3): 369-392 (2006) |
2005 |
10 | EE | Guram Bezhanishvili,
Mai Gehrke:
Completeness of S4 with respect to the real line: revisited.
Ann. Pure Appl. Logic 131(1-3): 287-301 (2005) |
9 | EE | Guram Bezhanishvili,
Leo Esakia,
David Gabelaia:
Some Results on Modal Axiomatization and Definability for Topological Spaces.
Studia Logica 81(3): 325-355 (2005) |
2003 |
8 | EE | Marco Aiello,
Johan van Benthem,
Guram Bezhanishvili:
Reasoning About Space: The Modal Way.
J. Log. Comput. 13(6): 889-920 (2003) |
7 | EE | Johan van Benthem,
Guram Bezhanishvili,
Mai Gehrke:
Euclidean Hierarchy in Modal Logic.
Studia Logica 75(3): 327-344 (2003) |
2002 |
6 | EE | Guram Bezhanishvili,
Ray Mines,
Patrick J. Morandi:
The Priestley Separation Axiom for Scattered Spaces.
Order 19(1): 1-10 (2002) |
2001 |
5 | | Guram Bezhanishvili:
Glivenko Type Theorems for Intuitionistic Modal Logics.
Studia Logica 67(1): 89-109 (2001) |
2000 |
4 | | Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras. Part III.
Studia Logica 64(2): 215-256 (2000) |
1999 |
3 | | Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras Part II: Duality Theory.
Studia Logica 62(1): 21-48 (1999) |
1998 |
2 | | Guram Bezhanishvili,
Revaz Grigolia:
Locally Tabular Extensions of MIPC.
Advances in Modal Logic 1998: 101-120 |
1 | | Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras - Part I.
Studia Logica 61(3): 367-402 (1998) |