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

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

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

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

The "Harsanyi Doctrine" asserts that differences in individuals' beliefs are to be attributed entirely to differences in information. In its embodiment as a Common Prior assumption it is central to the economics of information and the foundations of game theory. This paper attempts to provide a...

Aumann (1976) put forward a formal definition of common knowledge and used it to prove that two "like minded" individuals cannot "agree to disagree" in the following sense. If they start from a common prior and update the probability of an event E (using Bayes' rule) on the basis of private...

We provide a self-contained, selective overview of the literature on the role of knowledge and beliefs in game theory. We focus on recent results on the epistemic foundations of solution concepts, including correlated equilibrium, rationalizability in dynamic games, forward and backward induction.

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