Graph Games and Logic Design

Graph games are interactive scenarios with a wide range of applications. This position paper discusses old and new graph games in tandem with matching logics and identifies general questions behind this match. Throughout, we pursue two strands: logic as a way of analyzing existing graph games, and logic as an inspiration for designing new graph games. Our aim is modest: we propose a perspective that complements existing game-theoretic and computational ones, we raise questions, make observations, and suggest research directions—technical results are left to future work. But frankly, our main aim with this survey paper is to show that graph games are concrete, fun, easy to grasp, and yet challenging to study.