一个基于顺序条件函数的信念逻辑系统

经典的信念逻辑系统SKD45只能处理信念的表示与推理,而无法同时处理知识与信念。在对可能世界排序,给出顺序条件函数的基础上,将知识当作一种特殊的信念,建立一个新的信念逻辑系统SSBR,并给出完全性的证明。