模态命题逻辑系统K、D、T、S4、S5、B之比较

模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同。由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力。