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

It is natural to think of belief revision as the interaction of belief and information over time. Thus branching-time temporal logic seems a natural setting for a theory of belief revision. We propose a logic based on three modal operators: a belief operator, an information operator and a...

We characterize the class of n-person belief systems for which common belief has the properties of the strongest logic of belief, KD45. The characterizing condition states that individuals are not too mistaken in their beliefs about common beliefs. It is shown to be considerably weaker than the...

This working paper contains the slides of two invited lectures on the Epistemic Foundations of Game Theory, delivered at the Royal Netherlands Academy of Arts and Sciences (KNAW) on February 8, 2007.

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 propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule. Some theorems of this logic are derived concerning the...

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

We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an...

The interaction bietween knowledge and belief in a temporal context is analyzed. An axiomatic formulation and semantic characterization of the principle of belief persistency implied by the standard conditionalization rule are provided. This principle says that an individual does not change her...

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