Additional Metadata
Keywords protocol epistemic
THEME Software (theme 1)
Publisher Amsterdam University Press
Editor D.J.N. van Eijck (Jan) , R. Verbrugge
Series Texts in Logic and Games
Citation
Dechesne, F, van Eijck, D.J.N, Teepe, W, & Wang, Y. (2009). Dynamic Epistemic Logic for Protocol Analysis. In D.J.N van Eijck & R Verbrugge (Eds.), Discourses on Social Software (pp. 135–146). Amsterdam University Press.