Building on the analysis of Bonanno (2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator B, a bimodal conditional operator and the unimodal global operator □. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The...

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

We discuss a number of conceptual issues that arise in attempting to capture, in dynamic games, the notion that there is "common understanding" among the players that they are all rational.

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 two extensions of a modal logic that, besides the ""next-time"" temporal operator, contains a...