A Logic for Extensive Games with Short Sight
Author(s)
Liu, Chanjun
Liu, Fenrong
Su, Kaile
Griffith University Author(s)
Year published
2013
Metadata
Show full item recordAbstract
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.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.
View less >
View less >
Conference Title
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Publisher URI
Subject
Computational logic and formal languages