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.

General (acm F.3.0), Mathematical Logic (acm F.4.1)
None of the above, but in MSC2010 section 03Bxx (msc 03B99), Noncooperative games (msc 91A10), Game-theoretic models (msc 91A40)
Information Systems [INS]

Pauly, M. (2000). Game logic for game theorists. Information Systems [INS]. CWI.