Modallogik/Leerheitsaxiom/Definition

Leerheitsaxiom

Das modallogische Axiomenschema

nennt man Leerheitsaxiom.