Game models have attracted a great deal of interest in the area of multi-agent systems and in the design and verification of component-based reactive systems, using the tools of modal logics and automata theory, respectively. Formalisms based on regular expressions such as dynamic logic bridge the two.
An important aspect of game models is the role of strategies used by agents to ensure outcomes. Identifying strategy structure and rational basis for strategy selection and learning during play constitutes a challenge for logical descriptions. Recent research, from the perspectives of game logics and (alternating) temporal logics, has made some inroads but significant challenges remain, especially with regard to non-zero-sum games of imperfect information. In this background, this advanced course is proposed, to introduce ESSLLI participants to the basic ideas and problems in this area, and to open questions that remain. It is advanced in the sense of requiring conceptual maturity while remaining technically elementary.