Dynamic hyperintensional belief revision

Aybüke Özgün, Franz Berto

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
3 Downloads (Pure)

Abstract

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature.
Original languageEnglish
JournalThe Review of Symbolic Logic
VolumeFirstView
Early online date21 Jul 2020
DOIs
Publication statusE-pub ahead of print - 21 Jul 2020

Keywords

  • Belief revision
  • Dynamic epistemic logic
  • Logical omniscience
  • Aboutness
  • Subject matter
  • Hyperintensionality
  • Completeness
  • Axiomatization

Fingerprint

Dive into the research topics of 'Dynamic hyperintensional belief revision'. Together they form a unique fingerprint.

Cite this