Dynamic epistemic logic for protocol analysis

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

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
Pages161-146
ISBN (Print)978-90-8964-123-6
Publication statusPublished - 2009

Publication series

NameTexts in Logic and Games
Volume5

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

  • Cite this

    Dechesne, F., Eijck, van, J., Teepe, W., & Wang, Y. (2009). Dynamic epistemic logic for protocol analysis. In J. Eijck, van, & R. Verbrugge (Eds.), Discourses on Social Software (pp. 161-146). (Texts in Logic and Games; Vol. 5). Amsterdam: Amsterdam University Press.