Finally, we prove the frame completeness of DEC1 with respect to the frame conditions as well.

最后，我们证明DEC1相对这些框架条件也是框架完全的。

youdao

Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.

首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。

youdao

Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.

其次，我们引入有序邻域语义，给出描述DEC1的特征公理和规则的框架条件，证明DEC1相对这些框架条件是框架可靠的。

youdao

Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.

其次，我们引入有序邻域语义，给出描述DEC1的特征公理和规则的框架条件，证明DEC1相对这些框架条件是框架可靠的。

youdao