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. 200...

In 1952, Thompson deened four transformations on extensive games, and proved that they leave the reduced normal form intact (a so{ called \adequacy" theorem). Kohlberg&Mertens, in 1986, proposed two additional game transformations. In this paper, I will state and prove adequacy results for all six transformations in a uniform manner. Then, a number of well{known solution concepts will be survey...

In today's highly interconnected networks, security of the entities are often interdependent. This means security decisions of the agents are not only influenced by their own costs and constraints, but also are affected by their neighbors’ decisions. Game theory provides a rich set of tools to analyze such influence networks. In the game model, players try to maximize their utilities through se...