The logical foundations of game-theoretic solution concepts have so far been developed within the confines of epistemic logic. In this paper we turn to a different branch of modal logic, namely temporal logic, and propose to view the solution of a game as a complete prediction about future play....

We give an introduction to the literature on the epistemic foundations of solution concepts in game theory. Only normal-form games are considered. The solution concepts analyzed are rationalizability, strong rationalizability, correlated equilibrium and Nash equilibrium. The analysis is carried...

Recent contributions have questioned the meaningfulness of the Common Prior Assumption (CPA) in situations of incomplete information. We characterize the CPA in terms of the primitives (individuals' belief hierarchies) without reference to an ex ante stage. The key is to rule out "agreeing to...