The following is a transcript of one of the discussion sessions that took place during the Workshop on Games, Action and Social Software at the Lorentz Center in Leiden. The discussion theme was set by the workshop organizers: "Is logic useful for the analysis of protocols, and if so, how?" The theme has attracted the usual protagonists, plus a cognitive scientist and a specialist in computer security.
|Title of host publication||Discourses on Social Software|
|Editors||J. Eijck, van, R. Verbrugge|
|Place of Publication||Amsterdam|
|Publisher||Amsterdam University Press|
|Publication status||Published - 2009|
|Name||Texts in Logic and Games|