David Gabelaia

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 12

Top Topics

Continuous Space

Top Venues

Appl. Categorical Struct.

Publications

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89 (1) (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia
Temporal logic of surjective bounded morphisms between finite linear processes. J. Appl. Non Class. Logics 34 (1) (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
Logics of polyhedral reachability. CoRR (2024)
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Polyhedral Models and SLCS. FORTE (2023)
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras. J. Math. Log. 22 (3) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. 27 (6) (2019)
David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
An Axiomatization of the d-logic of Planar Polygons. TbiLLC (2017)
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
Admissible Bases Via Stable Canonical Rules. Stud Logica 104 (2) (2016)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological Completeness of Logics above S4. J. Symb. Log. 80 (2) (2015)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Modal Logics of Metric Spaces. Rev. Symb. Log. 8 (1) (2015)
Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan
Topological completeness of extensions of S4. TACL (2013)
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
Funayama's theorem revisited. TACL (2013)
Lev D. Beklemishev, David Gabelaia
Topological completeness of the provability logic GLP. Ann. Pure Appl. Log. 164 (12) (2013)
Guram Bezhanishvili, David Gabelaia
Connected modal logics. Arch. Math. Log. 50 (3-4) (2011)
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR (2011)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
The Modal Logic of Stone Spaces: diamond as derivative. Rev. Symb. Log. 3 (1) (2010)
Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20 (3) (2010)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
-Spaces in d-Semantics. TbiLLC (2009)
Balder ten Cate, David Gabelaia, Dmitry Sustretov
Modal languages for topology: Expressivity and definability. Ann. Pure Appl. Log. 159 (1-2) (2009)
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Log. 142 (1-3) (2006)
David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Products of 'transitive' modal logics. J. Symb. Log. 70 (3) (2005)
Guram Bezhanishvili, Leo Esakia, David Gabelaia
Some Results on Modal Axiomatization and Definability for Topological Spaces. Stud Logica 81 (3) (2005)
David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. 23 (2005)
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev
On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference (2003)
David Gabelaia
Modal Systems GL and Grz: Semantical Comparison. ESSLLI Student Papers (1999)