Finally, we prove the model soundness and model completeness of an extension of RKB .

• 最后，我们证明RKB的一个扩充系统相对这样的语义有模型可靠性和模型完全性。