( en | de | ru )

 

Disambiguierung von "Gabelaia, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modal languages for topology: Expressivity and definability.

, , und . Ann. Pure Appl. Log., 159 (1-2): 146-170 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wahyudi David

Florian Bodo David

Joachim David

Jens-Ulrich Davids

Heinz David

 

Weitere Publikationen von Autoren mit dem selben Namen

Spectral and T0-Spaces in d-Semantics., , und . TbiLLC, Volume 6618 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2009)On Bisimilarity for Polyhedral Models and SLCS., , , , und . FORTE, Volume 13910 von Lecture Notes in Computer Science, Seite 132-151. Springer, (2023)Bitopological duality for distributive lattices and Heyting algebras., , , und . Math. Struct. Comput. Sci., 20 (3): 359-393 (2010)Geometric Model Checking of Continuous Space., , , , , und . CoRR, (2021)Non-primitive recursive decidability of products of modal logics with expanding domains., , , und . Ann. Pure Appl. Log., 142 (1-3): 245-268 (2006)Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version., , , , , , und . CoRR, (2024)Some Results on Modal Axiomatization and Definability for Topological Spaces., , und . Stud Logica, 81 (3): 325-355 (2005)Compact Hausdorff Spaces with Relations and Gleason Spaces., , , und . Appl. Categorical Struct., 27 (6): 663-686 (2019)Modal Systems GL and Grz: Semantical Comparison.. ESSLLI Student Papers, Seite 103-110. Universiteit Utrecht Press, (1999)Funayama's theorem revisited., , und . TACL, Volume 25 von EPiC Series in Computing, Seite 22-26. EasyChair, (2013)