This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

Our preferences determine how we act and think, but exactly what the mechanics are and
how they work is a central cause of concern in many disciplines. This book uses techniques …

Logic and game theory have had a few decades of contacts by now, with the classical
results of epistemic game theory as major high-lights. In this paper, we emphasize a recent …

Current methods for solving games embody a form of" procedural rationality" that invites
logical analysis in its own right. This paper is a brief case study of Backward Induction for …

This programmatic note high-lights a major theme in my lecture notes “Logic in Games”[37]:
the need for explicit logics that define agents' strategies, as the drivers of interaction in …

This chapter re-visits Johan van Benthem's proposal to study the logic of “best actions” in
games. After introducing the main ideas behind this proposal, this chapter makes three …

Johan van Benthem has highlighted in his work that many questions arising in the analysis
of strategic interaction call for logical and computational analysis. These questions lead to …

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this
book collects a set of chapters of the multi-disciplinary project" Games, actions and Social …

Johan van Benthem has highlighted in his work that many questions arising in the analysis
of strategic interaction call for logical and computational analysis. These questions lead to …

It seems to be an open question whether Propositional Dynamic Logic (PDL) has Craig
Interpolation. In fact, it even seems to be an open question if this is an open question …