S5 (modal logic)

Normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A

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. It is a normal modal logic, and one of the oldest systems of modal logic of any kind.