Graph Games and Logic Design

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