Volgen
David Gabelaia
David Gabelaia
Researcher, Razmadze Mathematical Institute
Geverifieerd e-mailadres voor rmi.ge
Titel
Geciteerd door
Geciteerd door
Jaar
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
932005
Some results on modal axiomatization and definability for topological spaces
G Bezhanishvili, L Esakia, D Gabelaia
Studia Logica 81 (3), 325-355, 2005
762005
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
642010
Products of ‘transitive” modal logics
D Gabelaia, A Kurucz, F Wolter, M Zakharyaschev
The Journal of Symbolic Logic 70 (3), 993-1021, 2005
562005
Modal definability in topology
D Gabelaia
542001
On the Computational Complexity of Spatio-Temporal Logics.
D Gabelaia, R Kontchakov, A Kurucz, F Wolter, M Zakharyaschev
FLAIRS Conference, 460-464, 2003
502003
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
492009
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
442006
Topological completeness of the provability logic GLP
L Beklemishev, D Gabelaia
Annals of Pure and Applied Logic 164 (12), 1201-1223, 2013
372013
Topological interpretations of provability logic
L Beklemishev, D Gabelaia
Leo Esakia on duality in modal and intuitionistic logics, 257-290, 2014
262014
Spectral and T0-Spaces in d-Semantics
G Bezhanishvili, L Esakia, D Gabelaia
International Tbilisi Symposium on Logic, Language, and Computation, 16-29, 2009
212009
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
152010
Modal logics of metric spaces
G Bezhanishvili, D Gabelaia, J Lucero-Bryan
The Review of Symbolic Logic 8 (1), 178-191, 2015
122015
Topological, algebraic and spatio-temporal semantics for multi-dimensional modal logics
D Gabelaia
King’s College London, 2004
122004
Funayama’s theorem revisited
G Bezhanishvili, D Gabelaia, M Jibladze
Algebra universalis 70 (3), 271-286, 2013
82013
Modal logic of planar polygons
D Gabelaia, K Gogoladze, M Jibladze, E Kuznetsov, M Marx
arXiv preprint arXiv:1807.02868, 2018
72018
Admissible bases via stable canonical rules
N Bezhanishvili, D Gabelaia, S Ghilardi, M Jibladze
Studia Logica 104 (2), 317-341, 2016
72016
Connected modal logics
G Bezhanishvili, D Gabelaia
Archive for Mathematical Logic 50 (3), 287-317, 2011
72011
Geometric model checking of continuous space
N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink
arXiv preprint arXiv:2105.06194, 2021
62021
Spectra of compact regular frames
G Bezhanishvili, D Gabelaia, M Jibladze
Theory and Applications of Categories 31 (12), 365-383, 2016
52016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20