| 2009 |
|---|
| 6 | EE | Peter Bosch,
David Gabelaia,
Jérôme Lang:
Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
Springer 2009 |
| 2006 |
|---|
| 5 | EE | David Gabelaia,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Non-primitive recursive decidability of products of modal logics with expanding domains.
Ann. Pure Appl. Logic 142(1-3): 245-268 (2006) |
| 2005 |
|---|
| 4 | EE | David Gabelaia,
Roman Kontchakov,
Ágnes Kurucz,
Frank Wolter,
Michael Zakharyaschev:
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005) |
| 3 | 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 |
|---|
| 2 | | David Gabelaia,
Roman Kontchakov,
Agi Kurucz,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatio-Temporal Logics.
FLAIRS Conference 2003: 460-464 |
| 1999 |
|---|
| 1 | | David Gabelaia:
Modal Systems GL and Grz: Semantical Comparison.
ESSLLI Student Papers 1999: 103-110 |
