Sciweavers

Share
JANCL
2007

Dynamic logic for belief revision

9 years 8 months ago
Dynamic logic for belief revision
ABSTRACT. 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 reduction axioms. Next, we show how various abstract postulates for belief revision can be analyzed by standard modal frame correspondences for model-changing operations.
Johan van Benthem
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JANCL
Authors Johan van Benthem
Comments (0)
books