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.

中文翻译：

---

动态高强度信念修正

我们提出了一种针对非全知代理的信念修正的动态高内涵逻辑，减少了影响标准的定论/认知逻辑以及 AGM 信念修正理论的逻辑全知现象。我们的代理人并不知道所有先验真理；他们的信念状态在经典逻辑结果下不是封闭的；并且他们的信念更新政策使得逻辑上或必然相同的内容可以导致不同的修订。我们对普通信念和条件信念进行建模，然后专注于动态信念修正。我们用来实现非全知的关键思想集中在话题-要么主题敏感性：信仰状态的一个特征，在最近的文献中越来越受到关注。