Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tableau Reasoning and Programming with Dynamic First Order Logic., , and . Logic Journal of the IGPL, 9 (3): 411-445 (2001)Reference Resolution in Context.. CLIN, volume 45 of Language and Computers - Studies in Practical Linguistics, page 89-103. Rodopi, (2001)Logical Forms, and . The Core Language Engine, MIT Press, Cambridge, Massachusetts, (1992)Incremental Dynamics.. J. Log. Lang. Inf., 10 (3): 319-351 (2001)Making Things Happen.. Stud Logica, 66 (1): 41-58 (2000)Presupposition Failure-A Comedy of Errors.. Formal Aspects Comput., 6 (6A): 766-787 (1994)Public Announcements, Public Lies and Recoveries., and . J. Log. Lang. Inf., 31 (3): 423-450 (2022)Dynamic Epistemic Logics.. Johan van Benthem on Logic and Information Dynamics, Springer, (2014)Elements of Epistemic Crypto Logic., and . AAMAS, page 1795-1796. ACM, (2015)Update, Probability, Knowledge and Belief., and . Advances in Modal Logic, page 551-570. College Publications, (2016)