Dynamic Epistemic Logic for Protocol Analysis

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Discourses on Social Software
Editors	J. van Eijck, R. Verbrugge
Place of Publication	Amsterdam
Publisher	Amsterdam University Press
Pages	147-161
Number of pages	15
Publication status	Published - 2009

Access to Document

@inbook{5044dae045c84d9d835cfa6de3692f1b,

title = "Dynamic Epistemic Logic for Protocol Analysis",

author = "\{van Eijck\}, J. and F. Dechesne and W. Teepe and Y. Wang",

year = "2009",

language = "Undefined/Unknown",

publisher = "Amsterdam University Press",

pages = "147--161",

editor = "\{van Eijck\}, J. and R. Verbrugge",

booktitle = "Discourses on Social Software",

}