在逻辑和哲学中，S5 是 Clarence Irving Lewis 和 Cooper Harold Langford 在他们1932年的书《Symbolic Logic》中提议的五个模态逻辑之一。它是正规模态逻辑和最古老的模态逻辑系统之一。
公理化.S5 特征化为如下公理：和如下中的一个：
Kripke语义.依据 Kripke语义，S5 被使用可及关系是等价关系的模型来特征化：它是自反、传递和对称的。可供选择的说可及关系是“普遍的”，就是说所有