Games and Social Software
7th Augustus de Morgan Workshop
King's College London
November 4-7, 2005
Ludolf Bakhuizen, XVIIth century
Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.
|Short Talk Schedule
|List of Speakers