Modallogik/K/Phantasiearmutsaxiom und K-Umkehrung/Fakt

Für eine -Modallogik sind die folgenden Eigenschaften äquivalent.

  1. Es gilt das Phantasiearmutsaxiom.
  2. Es gilt die Umkehrung des -Axioms, also
  3. Es gilt das Axiomenschema