其次,我们引入有序邻域语义,给出描述DEC2的特征公理的框架条件,证明DEC2相对这些框架条件是框架可靠的。
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.
其次,我们引入有序邻域语义,给出描述DEC1的特征公理和规则的框架条件,证明DEC1相对这些框架条件是框架可靠的。
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相对这些框架条件是框架可靠的。
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.
应用推荐