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

Within the class of structures introduced in [G. Bonanno, Axiomatic characterization of the AGM theory of belief revision in a temporal logic, Artificial Intelligence, 171 (2007), 144-160] we consider the subclass satisfying the property that, for every state-instant pair (omega,t), there is an...

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

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.

In Bonanno (Int. J. Game Theory, 42:567-592, 2013) a general notion of perfect Bayesian equilibrium (PBE) was introduced for extensive-form games and shown to be intermediate between subgame-perfect equilibrium and sequential equilibrium. The essential ingredient of the proposed notion is the...

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

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

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 an introduction to interactive belief systems from a qualitative and semantic point of view. Properties of belief hierarchies are formulated locally. Among the properties considered are ""Common belief in no error"" (which has been shown to have important game theoretic applications),...

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