Logic of strategies: What and how?

This piece is not a paper reporting on original research, but rather a slightly expanded write-up of some notes for a concluding discussion at the 2012 Workshop on ‘Modeling Strategic Reasoning’ at the Lorentz Center in Leiden, an interdisciplinary meeting on the importance of strategies in many fields, from game theory to linguistics, computer science, and cognitive science, that was the incubator for the present volume on the logic-based analysis of strategies and how we reason with, and about them. My modest purpose here is to highlight a few general, somewhat unresolved, decision points about this proposed program that seemed to resonate with the audience at the Workshop, but that may also present food for thought to a more general reader of this book. The emphasis in the presentation that follows is on logic, a view of strategies that figures prominently in my own work on logic and games, cf. [9]. Still, there are certainly other equally viable and illuminating formal viewpoints on the study of strategies, coming, for instance, from automata theory or dynamical systems, cf. [16, 31].