( en | de | ru )

 

Disambiguierung von "Gabelaia, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Products of 'transitive' modal logics.

, , , und . J. Symb. Log., 70 (3): 993-1021 (2005)

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.

Erich David

Ernst David

Baruch Davidoff

Frida David

Walter David

 

Weitere Publikationen von Autoren mit dem selben Namen

Modal Logics of Metric Spaces., , und . Rev. Symb. Log., 8 (1): 178-191 (2015)Admissible Bases Via Stable Canonical Rules., , , und . Stud Logica, 104 (2): 317-341 (2016)On Bisimilarity for Polyhedral Models and SLCS., , , , und . FORTE, Volume 13910 von Lecture Notes in Computer Science, Seite 132-151. Springer, (2023)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)Bitopological duality for distributive lattices and Heyting algebras., , , und . Math. Struct. Comput. Sci., 20 (3): 359-393 (2010)Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version., , , , , , und . CoRR, (2024)Products of 'transitive' modal logics., , , und . J. Symb. Log., 70 (3): 993-1021 (2005)Connected modal logics., und . Arch. Math. Log., 50 (3-4): 287-317 (2011)Spectral and T0-Spaces in d-Semantics., , und . TbiLLC, Volume 6618 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2009)