动态认知条件句逻辑DEC2

作者：李小五

关键字：动态认知条件句系统有序邻域语义框架可靠性框架完全性

摘要/Abstract

首先，我们构造动态认知条件句系统DEC2，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。最后，我们证明DEC2相对这些框架条件也是框架完全的。

Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory. Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions. Finally, we prove the frame completeness of DEC2 with respect to the frame conditions as well.

在登录后您才有权阅读论文文章全文，请先注册或登录本网！