( en | de | ru )

 

Disambiguation of "Gabelaia, David"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.

, , , , and . J. Artif. Intell. Res., (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wahyudi David

Florian Bodo David

Jens-Ulrich Davids

Joachim David

Jürgen David

 

Other publications of authors with the same name

Modal Logics of Metric Spaces., , and . Rev. Symb. Log., 8 (1): 178-191 (2015)Admissible Bases Via Stable Canonical Rules., , , and . Stud Logica, 104 (2): 317-341 (2016)On Bisimilarity for Polyhedral Models and SLCS., , , , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 132-151. Springer, (2023)Products of 'transitive' modal logics., , , and . J. Symb. Log., 70 (3): 993-1021 (2005)Connected modal logics., and . Arch. Math. Log., 50 (3-4): 287-317 (2011)Spectral and T0-Spaces in d-Semantics., , and . TbiLLC, volume 6618 of Lecture Notes in Computer Science, page 16-29. Springer, (2009)Bitopological duality for distributive lattices and Heyting algebras., , , and . Math. Struct. Comput. Sci., 20 (3): 359-393 (2010)Non-primitive recursive decidability of products of modal logics with expanding domains., , , and . Ann. Pure Appl. Log., 142 (1-3): 245-268 (2006)Geometric Model Checking of Continuous Space., , , , , and . CoRR, (2021)Modal Systems GL and Grz: Semantical Comparison.. ESSLLI Student Papers, page 103-110. Universiteit Utrecht Press, (1999)