Modal Systems GL and Grz: Semantical Comparison. - David Gabelaia (ESSLLI Student Papers, 1999)

On the Computational Complexity of Spatio-Temporal Logics. - David Gabelaia; Roman Kontchakov; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (FLAIRS, 2003)

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. - David Gabelaia; Roman Kontchakov; Ágnes Kurucz; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2005)

Products of 'transitive' modal logics. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (J. Symb. Log., 2005)

Some Results on Modal Axiomatization and Definability for Topological Spaces. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (Stud Logica, 2005)

Non-primitive recursive decidability of products of modal logics with expanding domains. - David Gabelaia; Agi Kurucz; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2006)

Spectral and T0-Spaces in d-Semantics. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (TbiLLC, 2009)

Modal languages for topology: Expressivity and definability. - Balder ten Cate; David Gabelaia; Dmitry Sustretov (Ann. Pure Appl. Log., 2009)

Bitopological duality for distributive lattices and Heyting algebras. - Guram Bezhanishvili; Nick Bezhanishvili; David Gabelaia; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2010)

The Modal Logic of Stone Spaces: diamond as derivative. - Guram Bezhanishvili; Leo Esakia; David Gabelaia (Rev. Symb. Log., 2010)

Connected modal logics. - Guram Bezhanishvili; David Gabelaia (Arch. Math. Log., 2011)

Funayama's theorem revisited. - Guram Bezhanishvili; David Gabelaia; Mamuka Jibladze (TACL, 2013)

Topological completeness of extensions of S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (TACL, 2013)

Topological completeness of the provability logic GLP. - Lev D. Beklemishev; David Gabelaia (Ann. Pure Appl. Log., 2013)

Topological Completeness of Logics above S4. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (J. Symb. Log., 2015)

Modal Logics of Metric Spaces. - Guram Bezhanishvili; David Gabelaia; Joel Lucero-Bryan (Rev. Symb. Log., 2015)

Admissible Bases Via Stable Canonical Rules. - Nick Bezhanishvili; David Gabelaia; Silvio Ghilardi; Mamuka Jibladze (Stud Logica, 2016)

An Axiomatization of the d-logic of Planar Polygons. - David Gabelaia; Kristina Gogoladze; Mamuka Jibladze; Evgeny Kuznetsov; Levan Uridia (TbiLLC, 2017)

Compact Hausdorff Spaces with Relations and Gleason Spaces. - Guram Bezhanishvili; David Gabelaia; John Harding; Mamuka Jibladze (Appl. Categorical Struct., 2019)

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. - Guram Bezhanishvili; David Gabelaia; Mamuka Jibladze (J. Math. Log., 2022)

Geometric Model Checking of Continuous Space. - Nick Bezhanishvili; Vincenzo Ciancia; David Gabelaia; Gianluca Grilletti; Diego Latella; Mieke Massink (Log. Methods Comput. Sci., 2022)

On Bisimilarity for Polyhedral Models and SLCS. - Vincenzo Ciancia; David Gabelaia; Diego Latella; Mieke Massink; Erik P. de Vink (FORTE, 2023)

Logics of Polyhedral Reachability. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Fernández-Duque; David Gabelaia (AiML, 2024)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. - Nick Bezhanishvili; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink (FORTE, 2024)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. - Nick Bezhanishvili; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink (CoRR, 2024)

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. - Nick Bezhanishvili; Laura Bussi; Vincenzo Ciancia; David Gabelaia; Mamuka Jibladze; Diego Latella; Mieke Massink; Erik P. de Vink (CoRR, 2024)

Polyhedral Completeness of Intermediate Logics: the nerve criterion. - Sam Adam-Day; Nick Bezhanishvili; David Gabelaia; Vincenzo Marra (J. Symb. Log., 2024)

Temporal logic of surjective bounded morphisms between finite linear processes. - David Gabelaia; Evgeny Kuznetsov; Radu-Casian Mihailescu; Konstantine Razmadze; Levan Uridia (J. Appl. Non Class. Logics, 2024)