S5 (modal Logic) - Axiomatics

Axiomatics

The following makes use of the modal operators ("necessarily") and ("possibly").

S5 is characterized by the axioms:

  • K: ;
  • T: ,

and either:

  • 5: ;
  • or both of the following:
  • 4:, and
  • B: .

Read more about this topic:  S5 (modal Logic)