David Gabelaia

According to our database, David Gabelaia authored at least 27 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, January, 2024

Polyhedral Completeness of Intermediate Logics: the nerve criterion.

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra

J. Symb. Log., 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 for Polyhedral Models and SLCS_η.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

Logics of Polyhedral Reachability.

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

On Bisimilarity for Polyhedral Models and SLCS.

Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

Geometric Model Checking of Continuous Space.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

Log. Methods Comput. Sci., 2022

A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

J. Math. Log., 2022

2019

Compact Hausdorff Spaces with Relations and Gleason Spaces.

Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze

Appl. Categorical Struct., 2019

2017

An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2016

Admissible Bases Via Stable Canonical Rules.

Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

Stud Logica, 2016

2015

Modal Logics of Metric Spaces.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Rev. Symb. Log., 2015

Topological Completeness of Logics above S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

J. Symb. Log., 2015

2013

Topological completeness of the provability logic GLP.

Lev D. Beklemishev, David Gabelaia

Ann. Pure Appl. Log., 2013

Topological completeness of extensions of S4.

Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Funayama's theorem revisited.

Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2011

Connected modal logics.

Guram Bezhanishvili, David Gabelaia

Arch. Math. Log., 2011

2010

The Modal Logic of Stone Spaces: diamond as derivative.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Rev. Symb. Log., 2010

Bitopological duality for distributive lattices and Heyting algebras.

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Math. Struct. Comput. Sci., 2010

2009

Modal languages for topology: Expressivity and definability.

Balder ten Cate, David Gabelaia, Dmitry Sustretov

Ann. Pure Appl. Log., 2009

Spectral and <i>T</i>₀-Spaces in d-Semantics.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Proceedings of the Logic, Language, and Computation, 2009

2006

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

2005

Some Results on Modal Axiomatization and Definability for Topological Spaces.

Guram Bezhanishvili, Leo Esakia, David Gabelaia

Stud Logica, 2005

Products of 'transitive' modal logics.

David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

J. Symb. Log., 2005

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.

David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev

J. Artif. Intell. Res., 2005

2003

On the Computational Complexity of Spatio-Temporal Logics.

David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

1999

Modal Systems GL and Grz: Semantical Comparison.

David Gabelaia

Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999