Dynamic epistemic logic for protocol analysis

F. Dechesne, J. Eijck, van, W. Teepe, Y. Wang

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.
Original languageEnglish
Title of host publicationDiscourses on Social Software
EditorsJ. Eijck, van, R. Verbrugge
Place of PublicationAmsterdam
PublisherAmsterdam University Press
ISBN (Print)978-90-8964-123-6
Publication statusPublished - 2009

Publication series

NameTexts in Logic and Games


Dive into the research topics of 'Dynamic epistemic logic for protocol analysis'. Together they form a unique fingerprint.

Cite this