PP-2012-23: Two Logical Faces of Belief Revision

PP-2012-23: van Benthem, Johan (2012) Two Logical Faces of Belief Revision. [Report]

Text (Full Text)

Download (350kB) | Preview
[img] Text (Abstract)

Download (459B)


This piece proposes a style of thinking using modal frame correspondence that puts Krister Segerberg’s dynamic doxastic logic and ‘Dutch’ dynamic-epistemic logic for belief change in one setting. While our technical results are elementary, they do suggest new lines of thought.

Item Type: Report
Report Nr: PP-2012-23
Series Name: Prepublication (PP) Series
Year: 2012
Uncontrolled Keywords: belief revision, postulates, update mechanism, dynamic doxastic logic, modal frame correspondence
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/465

Actions (login required)

View Item View Item