A Logic for Extensive Games with Short Sight

摘要

To characterize the structures and reason about strategies of extensivegames,much work has been done to provide the logical systems for such games. These logic systems focus on various perspectives of extensive games: (Harrenstein et al., 2003) concentrated on describing equilibrium concepts and strategic reasoning. (van Benthem, 2002) used dynamic logic to describe games as well as strategies.