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.