Game logic for game theorists
Game Logic (GL), introduced in (Parikh, 1985), is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of their game-theoretic relevance.
|Information Systems [INS]|
Pauly, M. (2000). Game logic for game theorists. Information Systems [INS]. CWI.