×
Compute Distance To:
Author ID: gabelaia.david Recent zbMATH articles by "Gabelaia, David"
Published as: Gabelaia, David; Gabelaia, D.

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 125 times in 98 Documents Cited by Year
Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
23
2005
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
15
2005
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
14
2010
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
10
2013
Modal languages for topology: expressivity and definability. Zbl 1172.03013
ten Cate, Balder; Gabelaia, David; Sustretov, Dmitry
10
2009
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
9
2014
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
7
2006
Funayama’s theorem revisited. Zbl 1285.06004
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
4
2013
K4.Grz and hereditarily irresolvable spaces. Zbl 1229.03018
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
Spectral and \(T _{0}\)-spaces in d-semantics. Zbl 1341.03026
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2011
The modal logic of Stone spaces: diamond as derivative. Zbl 1197.03017
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
Spectra of compact regular frames. Zbl 1352.06009
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2016
Topological completeness of logics above \(\mathbf{S4}\). Zbl 1372.03038
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2
2015
Connected modal logics. Zbl 1241.03018
Bezhanishvili, Guram; Gabelaia, David
2
2011
Profinite topological spaces. Zbl 1332.18005
Bezhanishvili, G.; Gabelaia, D.; Jibladze, M.; Morandi, P. J.
1
2015
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
Spectra of compact regular frames. Zbl 1352.06009
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
3
2016
Admissible bases via stable canonical rules. Zbl 1397.03016
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka
1
2016
Modal logics of metric spaces. Zbl 1371.03022
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
7
2015
Topological completeness of logics above \(\mathbf{S4}\). Zbl 1372.03038
Bezhanishvili, Guram; Gabelaia, David; Lucero-Bryan, Joel
2
2015
Profinite topological spaces. Zbl 1332.18005
Bezhanishvili, G.; Gabelaia, D.; Jibladze, M.; Morandi, P. J.
1
2015
Topological interpretations of provability logic. Zbl 1352.03070
Beklemishev, Lev; Gabelaia, David
9
2014
Topological completeness of the provability logic GLP. Zbl 1320.03088
Beklemishev, Lev; Gabelaia, David
10
2013
Funayama’s theorem revisited. Zbl 1285.06004
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka
4
2013
Spectral and \(T _{0}\)-spaces in d-semantics. Zbl 1341.03026
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2011
Connected modal logics. Zbl 1241.03018
Bezhanishvili, Guram; Gabelaia, David
2
2011
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
14
2010
K4.Grz and hereditarily irresolvable spaces. Zbl 1229.03018
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
The modal logic of Stone spaces: diamond as derivative. Zbl 1197.03017
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
3
2010
Modal languages for topology: expressivity and definability. Zbl 1172.03013
ten Cate, Balder; Gabelaia, David; Sustretov, Dmitry
10
2009
Non-primitive recursive decidability of products of modal logics with expanding domains. Zbl 1099.03008
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
7
2006
Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
23
2005
Combining spatial and temporal logics: expressiveness vs. complexity. Zbl 1080.68682
Gabelaia, D.; Kontchakov, R.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
15
2005
Products of ‘transitive’ modal logics. Zbl 1103.03020
Gabelaia, D.; Kurucz, A.; Wolter, F.; Zakharyaschev, M.
8
2005
all top 5

Cited by 128 Authors

20 Bezhanishvili, Guram
10 Bezhanishvili, Nick
10 Fernández Duque, David
10 Lucero-Bryan, Joel Gregory
6 Gabelaia, David
6 van Mill, Jan
5 Kurucz, Agi
4 Beklemishev, Lev D.
4 Goldblatt, Robert Ian
4 Konev, Boris
4 ten Cate, Balder David
3 Demri, Stéphane P.
3 Grant, John R.
3 Joosten, Joost J.
3 Morandi, Patrick J.
3 Parisi, Francesco
3 Zakharyaschev, Michael Viktorovich
2 Ávila, F.
2 Bagaria, Joan
2 Dixon, Clare
2 Esakia, Leo
2 Gascon, Régis
2 Hampson, Christopher
2 Hodkinson, Ian Martin
2 Holliday, Wesley H.
2 Hustadt, Ullrich
2 Kontchakov, Roman
2 Lazaar, Sami
2 Litak, Tadeusz
2 Molinaro, Cristian
2 Sabri, Houssem
2 Sioutis, Michael
2 Spirito, Dario
2 Sustretov, Dmitry
2 Tahri, Randa
2 Wolter, Frank
2 Zaldívar Corichi, Luis Ángel
1 Acharjee, Santanu
1 Aguilera, Juan Pablo
1 Aiello, Marco
1 Artale, Alessandro
1 Baltag, Alexandru
1 Başkent, Can
1 Bauer, Andrej
1 Belaid, Karim
1 Bloch, Isabelle
1 Bonchi, Filippo
1 Boudou, Joseph
1 Brunner, Andreas Bernhard Michael
1 Cabrer, Leonardo Manuel
1 Celani, Sergio Arturo
1 Chao, Fei
1 Cody, Brent M.
1 Condotta, Jean-François
1 Cvetko-Vah, Karin
1 Das, Litan Kumar
1 De Groot, Jim
1 Degtyarev, Anatoli Ivanovich
1 Diéguez, Martín
1 Dridi, Lobna
1 D’Souza, Deepak
1 Echi, Othman
1 Erné, Marcel
1 Fernández Gago, M. Carmen
1 Finocchiaro, Carmelo Antonio
1 Fontana, Marco
1 Galatos, Nikolaos
1 Gehrke, Mai
1 Gitman, Victoria
1 Göller, Stefan
1 Goranko, Valentin F.
1 Heinemann, Bernhard
1 Hermo Reyes, Eduardo
1 Huang, Zhongqiang
1 Jansana, Ramon
1 Jiang, Min
1 Jibladze, Mamuka A.
1 Jung, Jean Christoph
1 Karpenko, Anastasia Valer’evna
1 Kikot, Stanislav
1 König, Barbara
1 Kremer, Philip
1 Kudryavtseva, Ganna
1 Küpper, Sebastian
1 Lambie-Hanson, Chris
1 Lando, Tamar
1 Lazić, Ranko
1 Lewitzka, Steffen
1 Lisitsa, Alexei
1 Lohrey, Markus
1 Magidor, Menachem
1 Maksimova, Larisa L’vovna
1 Marcelino, Sérgio
1 Marra, Vincenzo
1 Martinez, Maria Vanina
1 Mazure, Bertrand
1 McNeill, Daniel K.
1 Mundici, Daniele
1 Nagy, Agustín L.
1 Nowak, David E.
...and 28 more Authors

Citations by Year