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.
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Computational Logic and Formal Languages