A Logic for Extensive Games with Short Sight

Liu, Chanjun; Liu, Fenrong; Su, Kaile

doi:10.1007/978-3-642-40948-6_28

Author(s)

Liu, Chanjun

Liu, Fenrong

Su, Kaile

Griffith University Author(s)

Su, Kaile

Year published

2013

Metadata

Show full item record

Abstract

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 >

Conference Title

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Publisher URI

http://golori.org/lori2013/

DOI

https://doi.org/10.1007/978-3-642-40948-6_28

Subject

Computational logic and formal languages

Publication URI

http://hdl.handle.net/10072/56733

Collection

Conference outputs