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