In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic.
在逻辑和哲学中，S5 是 Clarence Irving Lewis 和 Cooper Harold Langford 在他们1932年的书《Symbolic Logic》中提议的五个模态逻辑之一。