David Gabelaia

Guram Bezhanishvili, David Gabelaia: Connected modal logics. Arch. Math. Log. 50(3-4): 287-317 (2011)

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. CoRR abs/1110.2726 (2011)

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz: Bitopological duality for distributive lattices and Heyting algebras. Mathematical Structures in Computer Science 20(3): 359-393 (2010)

Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)

Guram Bezhanishvili, Leo Esakia, David Gabelaia: Spectral and T₀-Spaces in d-Semantics. TbiLLC 2009: 16-29

Peter Bosch, David Gabelaia, Jérôme Lang (Eds.): Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5422, Springer 2009, isbn 978-3-642-00664-7

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)

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)

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)

Guram Bezhanishvili, Leo Esakia, David Gabelaia: Some Results on Modal Axiomatization and Definability for Topological Spaces. Studia Logica 81(3): 325-355 (2005)

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464

David Gabelaia: Modal Systems GL and Grz: Semantical Comparison. ESSLLI Student Papers 1999: 103-110