Combining spatial and temporal logics: expressiveness vs. complexity D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev Journal of artificial intelligence research 23, 167-243, 2005 | 106 | 2005 |
Bitopological duality for distributive lattices and Heyting algebras G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz Mathematical Structures in Computer Science 20 (3), 359-393, 2010 | 93 | 2010 |
Some results on modal axiomatization and definability for topological spaces G Bezhanishvili, L Esakia, D Gabelaia Studia Logica 81, 325-355, 2005 | 92 | 2005 |
Products of ‘transitive” modal logics D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev The Journal of Symbolic Logic 70 (3), 993-1021, 2005 | 63 | 2005 |
Modal definability in topology D Gabelaia | 60 | 2001 |
Non-primitive recursive decidability of products of modal logics with expanding domains D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev Annals of Pure and Applied Logic 142 (1-3), 245-268, 2006 | 54 | 2006 |
Modal languages for topology: Expressivity and definability B Ten Cate, D Gabelaia, D Sustretov Annals of Pure and Applied Logic 159 (1-2), 146-170, 2009 | 50 | 2009 |
On the Computational Complexity of Spatio-Temporal Logics. D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev FLAIRS 3, 460-464, 2003 | 50 | 2003 |
Topological completeness of the provability logic GLP L Beklemishev, D Gabelaia Annals of Pure and Applied Logic 164 (12), 1201-1223, 2013 | 45 | 2013 |
Topological interpretations of provability logic L Beklemishev, D Gabelaia Leo Esakia on duality in modal and intuitionistic logics, 257-290, 2014 | 34 | 2014 |
Spectral and T0-Spaces in d-Semantics G Bezhanishvili, L Esakia, D Gabelaia International Tbilisi Symposium on Logic, Language, and Computation, 16-29, 2009 | 30 | 2009 |
Geometric model checking of continuous space N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink Logical Methods in Computer Science 18, 2022 | 21 | 2022 |
The modal logic of Stone spaces: diamond as derivative G Bezhanishvili, L Esakia, D Gabelaia The Review of Symbolic Logic 3 (1), 26-40, 2010 | 18 | 2010 |
Modal logics of metric spaces G Bezhanishvili, D Gabelaia, J Lucero-Bryan The Review of Symbolic Logic 8 (1), 178-191, 2015 | 13 | 2015 |
Funayama’s theorem revisited G Bezhanishvili, D Gabelaia, M Jibladze Algebra universalis 70, 271-286, 2013 | 13 | 2013 |
Topological, algebraic and spatio-temporal semantics for multi-dimensional modal logics D Gabelaia King’s College London, 2004 | 13 | 2004 |
Compact Hausdorff spaces with relations and Gleason spaces G Bezhanishvili, D Gabelaia, J Harding, M Jibladze Applied Categorical Structures 27, 663-686, 2019 | 12 | 2019 |
Admissible bases via stable canonical rules N Bezhanishvili, D Gabelaia, S Ghilardi, M Jibladze Studia Logica 104, 317-341, 2016 | 11 | 2016 |
Spectra of compact regular frames G Bezhanishvili, D Gabelaia, M Jibladze Theory and Applications of Categories 31 (12), 365-383, 2016 | 9 | 2016 |
Modal logic of planar polygons D Gabelaia, K Gogoladze, M Jibladze, E Kuznetsov, M Marx arXiv preprint arXiv:1807.02868, 2018 | 8 | 2018 |