Games are an arena where all strands of rational agency and interaction come together. In Chapter 10, we showed how extensive games fit well with dynamic logics of knowledge, belief, and preference, adding an account of mid- and long-term agency. In principle, this has made all points about games that are relevant to the main line of this book. For readers who have not had enough of games yet, in this chapter we show how logical dynamics interfaces with game theory, in particular, solution procedures for games in strategic form. Our main tool is iterated public announcement, and our style will be more impressionist.

Reaching equilibrium as an epistemic process

Iterative solution Solving games often involves an algorithm finding optimal strategies, like Backward Induction for extensive games.