PP-2006-11: van Benthem, Johan (2006) Dynamic Logic of Belief Revision. [Report]
Preview |
Text (Full Text)
PP-2006-11.text.pdf Download (194kB) | Preview |
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 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 |