×

zbMATH — the first resource for mathematics

Gabelaia, David

Compute Distance To:
Author ID: gabelaia.david Recent zbMATH articles by "Gabelaia, David"
Published as: Gabelaia, D.; Gabelaia, David
Documents Indexed: 21 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

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

Cited by 113 Authors

19 Bezhanishvili, Guram
9 Bezhanishvili, Nick
9 Lucero-Bryan, Joel Gregory
8 Fernández Duque, David
6 Gabelaia, David
5 Kurucz, Agi
5 van Mill, Jan
4 Beklemishev, Lev D.
4 Konev, Boris
4 ten Cate, Balder David
3 Demri, Stéphane P.
3 Morandi, Patrick J.
3 Zakharyaschev, Michael Viktorovich
2 Ávila, F.
2 Bagaria, Joan
2 Dixon, Clare
2 Esakia, Leo
2 Gascon, Régis
2 Goldblatt, Robert Ian
2 Grant, John R.
2 Hampson, Christopher
2 Hodkinson, Ian Martin
2 Holliday, Wesley H.
2 Hustadt, Ullrich
2 Joosten, Joost J.
2 Kontchakov, Roman
2 Litak, Tadeusz
2 Parisi, Francesco
2 Spirito, Dario
2 Sustretov, Dmitry
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 Blackburn, Patrick
1 Bloch, Isabelle
1 Bonchi, Filippo
1 Brunner, Andreas Bernhard Michael
1 Cabrer, Leonardo Manuel
1 Chao, Fei
1 Cody, Brent M.
1 Condotta, Jean-François
1 Cvetko-Vah, Karin
1 Degtyarev, Anatoli Ivanovich
1 Dridi, Lobna
1 D’Souza, Deepak
1 Echi, Othman
1 Fernández Gago, M. Carmen
1 Finocchiaro, Carmelo Antonio
1 Fisher, Marian R.
1 Fisher, Michael E.
1 Fisher, Michael W.
1 Fontana, Marco
1 Galatos, Nikolaos
1 Gehrke, Mai
1 Gitman, Victoria
1 Göller, Stefan
1 Goranko, Valentin F.
1 Heinemann, Bernhard
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 Mazure, Bertrand
1 McNeill, Daniel K.
1 Molinaro, Cristian
1 Mundici, Daniele
1 Nowak, David E.
1 Özgün, Aybüke
1 Papadopoulos, Kyriakos
1 Pedrini, Andrea
1 Priestley, Hilary A.
1 Ryzhikov, Vladislav
1 Sakai, Hiroshi
1 Salhi, Yakoub
1 Sano, Katsuhiko
1 Sarenac, Darko
...and 13 more Authors

Citations by Year