The analysis of rational play in dynamic games is usually done within a static framework that specifies a player's initial beliefs as well as his disposition to revise those beliefs conditional on hypothetical states of information. We suggest a simpler approach, where the rationality of a...

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

We consider interactive epistemic models where individuals are described by both their "knowledge" and their "beliefs." Three intersubjective consistency conditions are examined: Intersubjective Caution (if an individual believes something to be common belief then he knows it to be common...

Within an incomplete information framework (where the primitives are the individuals' belief hierarchies) we investigate the intersubjective implications of the assumption that it is common belief that no individual has any false beliefs (a key component of the Truth Axiom). We consider two...

When we make a non-trivial prediction about the future we select, among the conceivable future descriptions of the world, those that appear to us to be most likely. Within a branching-time framework we capture this by means of two binary relations, c and p. If t1 and t2 are different points in...

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