8.2.3.2 知识公理体系 　　同普通逻辑一样，算子∨和∧把不同的子句按照"或"、"与"的关系组合起来，就是说一个使用这些算子构造出来的公式的真值，取决于算子和构造子公式的真值。但是模式算子Κ的语义却不具有组合性。例如，Κ(Agent1, On(x, B))的真值不能由Κ的属性，Agent1的意义和On(A,B)的真值来决定。当然如果On(A,B)有F值，对于任意的a，所有Κa(On(A,B))的实例都为F（因为一个智能体不可能知道错误的东西）。但是，即使On(A,B)具有真值T，Κα(On(A,B))的任意实例并不必要具有真值T（因为智能体α可能不知道命题On(A,B)）。相似的，即使两个公式φ和ψ是相同的，对任意的α，如果Κα(φ)具有真值T，Κα(ψ)也没有必要一定具有真值T（智能体α可能不知道两个公式是相同的）。模式公式的语义必须考虑到这些结果。