PP-2006-11: Dynamic Logic of Belief Revision

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

[thumbnail of Full Text]
Text (Full Text)

Download (194kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (623B)


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

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 van 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