Abstract | ||
---|---|---|
We show how belief revision can be treated systematically inthe format of dynamic- epistemic logic, when operators of conditional belief are a dded. The core engine consists of definable update rules for changing plausibility relationsbetween worlds, which have been proposed independently in the dynamic-epistemic literatu re on preference change. Our analysis yields two new types of modal result. First, we obtain comple te logics for concrete mechanisms of belief revision, based on compositional reduction axiom s. Next, we show how various ab- stract postulates for belief revision can be analyzed by sta ndard modal frame correspondences for model-changing operations. |
Year | DOI | Venue |
---|---|---|
2007 | 10.3166/jancl.17.129-155 | Journal of Applied Non-Classical Logics |
Keywords | Field | DocType |
conditional bel ief,compositionality,belief revision,dynamic epistemic logic,dynamic logic | Principle of compositionality,Discrete mathematics,Axiom,Algorithm,Dynamic epistemic logic,Artificial intelligence,Operator (computer programming),Non-monotonic logic,Dynamic logic (digital electronics),Mathematics,Belief revision,Modal | Journal |
Volume | Issue | Citations |
17 | 2 | 139 |
PageRank | References | Authors |
6.98 | 17 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Johan van Benthem | 1 | 1181 | 107.83 |