GABELAIA, DAVID
54  results:
Search for persons X
?
1

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
 
?
2

On Bisimilarity for Polyhedral Models and SLCS:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
 
?
 
?
5

Geometric Model Checking of Continuous Space:

Bezhanishvili, Nick ; Ciancia, Vincenzo ; Gabelaia, David...
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
 
?
6

An Axiomatization of the d-logic of Planar Polygons:

, In: Lecture Notes in Computer Science; Language, Logic, and Computation,
 
?
8

Admissible Bases Via Stable Canonical Rules:

Bezhanishvili, Nick ; Gabelaia, David ; Ghilardi, Silvio.
Studia Logica: An International Journal for Symbolic Logic.  104 (2016)  2 - p. 317-341 , 2016
 
?
9

TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4:

BEZHANISHVILI, GURAM ; GABELAIA, DAVID ; LUCERO-BRYAN, JOEL
The Journal of Symbolic Logic.  80 (2015)  2 - p. 520-566 , 2015
 
?
10

TOPOLOGICAL COMPLETENESS OF LOGICS ABOVES4:

BEZHANISHVILI, GURAM ; GABELAIA, DAVID ; LUCERO-BRYAN, JOEL
The Journal of Symbolic Logic.  80 (2015)  2 - p. 520-566 , 2015
 
?
11

MODAL LOGICS OF METRIC SPACES:

BEZHANISHVILI, GURAM ; GABELAIA, DAVID ; LUCERO-BRYAN, JOEL
The Review of Symbolic Logic.  8 (2014)  1 - p. 178-191 , 2014
 
?
12

Funayama's theorem revisited:

Bezhanishvili, Guram ; Gabelaia, David ; Jibladze, Mamuka
Algebra universalis.  70 (2013)  3 - p. 271-286 , 2013
 
?
13

Topological completeness of the provability logic GLP:

Beklemishev, Lev ; Gabelaia, David
Annals of Pure and Applied Logic.  164 (2013)  12 - p. 1201-1223 , 2013
 
?
15

Connected modal logics:

Bezhanishvili, Guram ; Gabelaia, David
Archive for Mathematical Logic.  50 (2010)  3-4 - p. 287-317 , 2010
 
1-15