Modallogische Axiomenschema/Äquivalente Formulierung/Aufgabe

Zeige die Äquivalenz (innerhalb der -Modallogik) der folgenden modallogischen Axiomenschemata.

  1. Das Reflexivitätsaxiom ist äquivalent zu
  2. Das Symmetrieaxiom ist äquivalent zu
  3. Das Transitivitätsaxiom ist äquivalent zu
  4. Das euklidische Axiom ist äquivalent zu