Multi-Agent Belief Dynamics: bridges between dynamic doxastic and doxastic temporal logics
Johan van Benthem, Cédric Dégremont · 2008
In this paper, we compare two modal frameworks for multi-agent belief revision: dynamic doxastic logics computing stepwise updates and temporal doxastic logics describing global system evolutions, both based on plausibility pre-orders. We prove representation theorems showing under which conditions a doxastic temporal model can be represented as the stepwise evolution of a doxastic model under successive ’priority updates’. We define these properties in a suitable doxastic-temporal language, discuss their meaning, and raise some related definability issues.