Synchronous Games in the Situation Calculus (Extended Abstract)
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce · 2015
We develop a situation calculus-based account of multi-player synchronous games. These are represented as action theories called situation calculus synchronous game structures (SCSGSs) that involve a single action tick whose eects depend on the combination of moves chosen by the players. Properties of games, e.g., winning conditions, playability, weak and strong winnability, etc. can be expressed in a rst-order variant of alternating-time mu-calculus. Computationally eective verication can be performed. SCSGSs can be viewed as a variant of the Game Description Language (GDL) where states are represented by rst-order theories.