Abstract

Game Logic (GL), introduced in [18], 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. 2000 Mathematics Subject Classification: 03B99, 91A10, 91A40 1998 ACM Computing Classification System: F.3.0, F.4.1 Keywords and Phrases: Dynamic Logic, Game Theory, Semantics Note: Work carried out in the cluster INS "Information Systems". 1. Introduction Over the last years, various logics have been proposed for formalizing certain aspects of reasoning in and about games. Most of these logics focus on the epistemic aspects of game-theoretic reasoning (see e.g. [13, 9, 3]): Given certain assumptions about the players' beliefs and knowledge, one can prove that a certain solution of the game...

Citations