K-Modallogik/S5/Charakterisierungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Zum Beweis, Alternativen Beweis erstellen