( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Modal Distributive Law (abstract).

. WoLLIC, том 4576 из Lecture Notes in Computer Science, стр. 351. Springer, (2007)

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.

Johannes Venema

Barbara Venema

Christian Ydesen

Boudewijn Venema

Friedrich Hellmuth Venema

 

Другие публикации лиц с тем же именем

A note on the tense logic of dominoes.. J. Philosophical Logic, 21 (2): 173-182 (1992)Expressiveness of the modal mu-calculus on monotone neighborhood structures., , и . CoRR, (2015)A Modal Distributive Law (abstract).. WoLLIC, том 4576 из Lecture Notes in Computer Science, стр. 351. Springer, (2007)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)Points, Lines and Diamonds: A two-sorted Modal Logic for Projective Planes.. J. Log. Comput., 9 (5): 601-621 (1999)Generalised powerlocales via relation lifting., , и . Math. Struct. Comput. Sci., 23 (1): 142-199 (2013)Completeness for flat modal fixpoint logics., и . Ann. Pure Appl. Log., 162 (1): 55-82 (2010)A Sahlqvist theorem for distributive modal logic., , и . Ann. Pure Appl. Log., 131 (1-3): 65-102 (2005)Derivation Rules as Anti-Axioms in Modal Logic.. J. Symb. Log., 58 (3): 1003-1034 (1993)