Conservativity for logics of justified belief: Two approaches

详细信息	查看全文 | 推荐本文 |

• 作者：Robert S. Milnikel <sup>milnikelr@kenyon.edusup>
• 关键词：Justification logic ; Epistemic logic ; Logic of belief ; Proof theory
• 刊名：Annals of Pure and Applied Logic
• 出版年：2012
• 期刊代码：4_01680072
• 类别：cp
• 出版时间：July, 2012
• 卷：163
• 期：7
• 页码：809-819
• 文件大小：259 K

摘要

In , Fitting showed that the standard hierarchy of logics of justified knowledge is conservative (e.g.聽a logic with positive introspection operator is conservative over the logic without ). We do the same with most logics of justified belief, showing both conservation of sequent proofs and extensibility of models. A brief example shows that conservativity does not hold for logics of justified consistent belief.