Search the dblp DataBase

Publications of Author

1. David Gabelaia
   Modal Systems GL and Grz: Semantical Comparison. [Citation Graph (0, 0)][DBLP]
   ESSLLI Student Papers, 1999, pp:103-110 [Conf]
   
2. David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   On the Computational Complexity of Spatio-Temporal Logics. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2003, pp:460-464 [Conf]
   
3. David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
   Non-primitive recursive decidability of products of modal logics with expanding domains. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:245-268 [Journal]
   
4. Guram Bezhanishvili, Leo Esakia, David Gabelaia
   Some Results on Modal Axiomatization and Definability for Topological Spaces. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:325-355 [Journal]
   
5. David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
   Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. [Citation Graph (0, 0)][DBLP]
   J. Artif. Intell. Res. (JAIR), 2005, v:23, n:, pp:167-243 [Journal]
   
6. 
   Modal languages for topology: Expressivity and definability. [Citation Graph (, )][DBLP]