PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Venema, Yde"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Theory of Monadic Predicate Logic with the Infinity Quantifier.

, , , und . CoRR, (2018)

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.

Keine Personen gefunden für den Autorennamen Venema, Yde
Eine Person hinzufügen mit dem Namen Venema, Yde
 

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)A Sahlqvist theorem for distributive modal logic., , und . Ann. Pure Appl. Logic, 131 (1-3): 65-102 (2005)Editorial: Modal Logic and Dynamic Semantics.. Journal of Logic, Language and Information, 6 (4): 357-360 (1997)Tree Models and (Labeled) Categorial Grammar.. Journal of Logic, Language and Information, 5 (3/4): 253-277 (1996)Generalised powerlocales via relation lifting., , und . Mathematical Structures in Computer Science, 23 (1): 142-199 (2013)Derivation Rules as Anti-Axioms in Modal Logic.. J. Symb. Log., 58 (3): 1003-1034 (1993)A note on the tense logic of dominoes.. J. Philosophical Logic, 21 (2): 173-182 (1992)An expressive completeness theorem for coalgebraic modal mu-calculi., , und . CoRR, (2017)Expressiveness of the modal mu-calculus on monotone neighborhood structures., , und . CoRR, (2015)Coalgebraic Automata Theory: Basic Results., und . Logical Methods in Computer Science, (2008)