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.