PP-2006-11: Dynamic Logic of Belief Revision

PP-2006-11: van Benthem, Johan (2006) Dynamic Logic of Belief Revision. [Report]

[img]
Preview
Text (Full Text)
PP-2006-11.text.pdf

Download (194kB) | Preview
[img] Text (Abstract)
PP-2006-11.abstract.txt

Download (623B)

Abstract

We show how belief revision can be treated systematically in the format of dynamic-epistemic logic, with belief operators added. The core engine are update rules for preference relations which have been proposed independently in the dynamic epistemic literature for preference change. The result is complete sets of reduction axioms, as well as standard modal correspondence analysis for revision postulates.

Item Type: Report
Report Nr: PP-2006-11
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: belief revision; dynamic epistemic; logic; dynamic doxastic logic; ; relation change; reduction axioms; ; modal frame correspondence
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/186

Actions (login required)

View Item View Item