可修订的正当信念：初步报告
Revisable Justified Belief: Preliminary Report
摘要：
条件Doxastic逻辑的理论$\mathsf{CDL}$是Board的条件信念的多智能体理论$\mathsf{BRSIC}$的单智能体版本。$\mathsf{CDL}$可以被视为AGM信念修正理论的一个版本，其中修正的布尔组合可以用语言表达。我们介绍了一个理论$\mathsf{JCDL}$的证明条件Doxastic逻辑，取代条件信念公式$B^ψφ$的表达式$t{\,:^ψ}φ$由一个长期$t$，其句法结构表明推导的信念$φ$后，修订$ψ$。这使我们可以把术语$t$看作是在修正发生后证明相信各种公式的理由。我们证明了$\mathsf{JCDL}$ -定理是$\mathsf{CDL}$ -定理的精确类似物，并且这个结果也成立。这使我们可以把$\mathsf{JCDL}$看作是一种可修正的合理信念理论。
英文摘要：
The theory $\mathsf{CDL}$ of Conditional Doxastic Logic is the single-agent version of Board's multi-agent theory $\mathsf{BRSIC}$ of conditional belief. $\mathsf{CDL}$ may be viewed as a version of AGM belief revision theory in which Boolean combinations of revisions are expressible in the language. We introduce a theory $\mathsf{JCDL}$ of Justified Conditional Doxastic Logic that replaces conditional belief formulas $B^ψφ$ by expressions $t{\,:^ψ}φ$ made up of a term $t$ whose syntactic structure suggests a derivation of the belief $φ$ after revision by $ψ$. This allows us to think of terms $t$ as reasons justifying a belief in various formulas after a revision takes place. We show that $\mathsf{JCDL}$-theorems are the exact analogs of $\mathsf{CDL}$-theorems, and that this result holds the other way around as well. This allows us to think of $\mathsf{JCDL}$ as a theory of revisable justified belief.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
