In [G. Bonanno, Rational choice and AGM belief revision, Artificial Intelligence, 2009] a semantics for one-stage AGM belief revision was proposed based on choice frames, borrowed from the rational choice literature. In this paper we extend the semantics of choice frames to deal with iterated...

This is the first draft of the entry “Game Theory” to appear in the Sage Handbook of the Philosophy of Social Science (edited by Ian Jarvie & Jesús Zamora Bonilla), Part III, Chapter 16.

Within the class of structures introduced in [G. Bonanno, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Artificial Intelligence, 171 (2007), 144-160] we consider the subclass satisfying the property that, for every state-instant pair (omega,t), there is an...

In a companion paper we introduced a general notion of perfect Bayesian equilibrium which can be applied to arbitrary extensive-form games. The essential ingredient of the proposed definition is the qualitative notion of AGM-consistency. In this paper we provide an epistemic foundation for...

We discuss a number of conceptual issues that arise in attempting to capture, in dynamic games, the notion that there is "common understanding" among the players that they are all rational.

We provide a general notion of perfect Bayesian equilibrium which can be applied to arbitrary extensive-form games and is intermediate between subgame-perfect equilibrium and sequential equilibrium. The essential ingredient of the proposed definition is the qualitative notion of AGM-consistency,...

Johan van Benthem has highlighted in his work that many questions arising in the analysis of strategic interaction call for logical and computational analysis. These questions lead to both formal and conceptually illuminating answers, in that they contribute to clarifying some of the underlying...

This is the first draft of a chapter in a planned book on the Prisoner’s Dilemma, edited by Martin Peterson, to be published by Cambridge University Press. It discusses the nature of the conditionals involved in deliberation, taking the Prisoner's Dilemma game as point of departure.

We investigate the extension of backward-induction to von Neumann extensive games (where information sets have a synchronous structure) and provide an epistemic characterization of it. Extensions of the idea of backward-induction were proposed by Penta (2009) and later by Perea (2013), who also...

We discuss the issues that arise in modeling the notion of common belief of rationality in epistemic models of dynamic games, in particular at the level of interpretation of strategies. A strategy in a dynamic game is defined as a function that associates with every information set a choice at...