Axiom 5

The axiom 5 of modal logic is the formula

  \Diamond \phi \to \Box \Diamond \phi

Axiom 5 is the fundamental ingredient of the modal logic S5.

References

• Any good book on modal logic.

• Wikipedia article on S5