Modallogik/Möglichkeitsaxiom/Definition

Möglichkeitsaxiom

Das modallogische Axiomenschema

nennt man Möglichkeitsaxiom.