Logics for Analyzing Games
Johan van Benthem, Dominik Klein

Abstract:
This is an entry for the Stanford Encyclopedia of Philosophy surveying the broad area of logics for analyzing games. The main topics are Game Structure, Nature of Players, and Analyzing Play, while additional topics include interfaces of logi and probability in the arena of games.