K-Modallogik/S5/Charakterisierungen/Fakt

Für ein modallogisches -System sind folgende Aussagen äquivalent.

  1. Es gilt das Reflexivitätsaxiom und das euklidische Axiom
  2. Es gilt das Möglichkeitsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom
  3. Es handelt sich um das -System.