Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
首先,我们构造以目的和背景知识为双条件的条件句系统akc,给出它的一些证明论结果。
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先,我们构造知道主体的系统KA,给出它的一些证明论结果。
As its application, we give a new proof of the existence theorem of prime models.
作为其应用,我们给出了素模型存在定理的另一种证明。
应用推荐