( en | de | ru )

 

Disambiguierung von "Venema, Yde"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Modal Distributive Law (abstract).

. WoLLIC, Volume 4576 von Lecture Notes in Computer Science, Seite 351. Springer, (2007)

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.

Johannes Venema

Barbara Venema

Christian Ydesen

Boudewijn Venema

Friedrich Hellmuth Venema

 

Weitere Publikationen von Autoren mit dem selben Namen

Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.. J. Log. Comput., 9 (5): 601-621 (1999)Expressiveness of the modal mu-calculus on monotone neighborhood structures., , und . CoRR, (2015)A Modal Distributive Law (abstract).. WoLLIC, Volume 4576 von Lecture Notes in Computer Science, Seite 351. Springer, (2007)Completeness for Coalgebraic Fixpoint Logic., , und . CSL, Volume 62 von LIPIcs, Seite 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Completeness for flat modal fixpoint logics., und . Ann. Pure Appl. Log., 162 (1): 55-82 (2010)A Sahlqvist theorem for distributive modal logic., , und . Ann. Pure Appl. Log., 131 (1-3): 65-102 (2005)Generalised powerlocales via relation lifting., , und . Math. Struct. Comput. Sci., 23 (1): 142-199 (2013)Tree Models and (Labeled) Categorial Grammar.. J. Log. Lang. Inf., 5 (3/4): 253-277 (1996)Editorial: Modal Logic and Dynamic Semantics.. J. Log. Lang. Inf., 6 (4): 357-360 (1997)Derivation Rules as Anti-Axioms in Modal Logic.. J. Symb. Log., 58 (3): 1003-1034 (1993)