Dynamic hyperintensional belief revision
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.
Citation
Özgün , A & Berto , F 2020 , ' Dynamic hyperintensional belief revision ' , The Review of Symbolic Logic , vol. FirstView . https://doi.org/10.1017/S1755020319000686
Publication
The Review of Symbolic Logic
Status
Peer reviewed
ISSN
1755-0203Type
Journal article
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.