Building Relationship With KA 与KA建立联系
Finally, we prove the frame completeness of KA with respect to the frame conditions as well.
最后,我们证明KA相对这个框架条件也是框架完全的。
Secondly, we introduce the relation semantics, give the frame conditions of the character axioms of KA, prove the frame soundness of KA with respect to the frame conditions.
其次,我们引入关系语义,给出描述KA的特征公理的框架条件,证明KA相对这个框架条件是框架可靠的。
应用推荐