S5 (模态逻辑) 在逻辑和哲学中S 是 Clarence Irving Lewis 和 Cooper Harold Langford 在他们年的书Symbolic Logic中提议的五个模态逻辑之一 它是正规模态逻辑和最古老的模态逻辑系统之一