Logic in a Social Setting
Johan van Benthem

Abstract:
Taking Backward Induction as its running example, this paper explores
avenues for a logic of information-driven social action. We use recent
results on limit phenomena in knowledge update and belief revision,
procedural rationality, and a ‘Theory of Play’ analyzing how games are
played by different agents.