框架完全性相关论文
首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。其次，我们引入邻域语义，给出EK1-EK3的特征公理和规则的框架条件，证明EK1-EK......
首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理......
