David Gabelaia

	2011
12		Guram Bezhanishvili, David Gabelaia: Connected modal logics. Arch. Math. Log. 50(3-4): 287-317 (2011)
11		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR abs/1110.2726: (2011)
	2010
10		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)
	2009
9		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
8		Guram Bezhanishvili, Leo Esakia, David Gabelaia: Spectral and T0-Spaces in d-Semantics. TbiLLC 2009: 16-29
7		Balder ten Cate, David Gabelaia, Dmitry Sustretov: Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Logic 159(1-2): 146-170 (2009)
	2006
6		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
5		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)
4		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)
3		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

Coauthor Index

1	Guram Bezhanishvili	[3] [8] [10] [12]
2	Nick Bezhanishvili	[10]
3	Peter Bosch	[9]
4	Balder ten Cate	[7]
5	Leo Esakia	[3] [8]
6	Roman Kontchakov	[2] [5] [11]
7	Ágnes Kurucz (Agi Kurucz)	[2] [4] [5] [6] [11]
8	Alexander Kurz	[10]
9	Jérôme Lang	[9]
10	Dmitry Sustretov	[7]
11	Frank Wolter	[2] [4] [5] [6] [11]
12	Michael Zakharyaschev	[2] [4] [5] [6] [11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page