Dynamic logic for belief revision

Johan van Benthem
2007 Journal of Applied Non-Classical Logics  
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional
more » ... duction axioms. Next, we show how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations.
doi:10.3166/jancl.17.129-155 fatcat:7oxnabthubanpdledhbnzsooku