Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Traditionally, logic has dealt with notions of truthand reasoning. In the past several decades, however, research focus in logic has shifted to the vastfield of interactive logic – the domain of logic forboth communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games.