Modallogik/Leerheitsaxiom/Definition
Leerheitsaxiom
Das
modallogische Axiomenschema
◻
α
{\displaystyle \Box \alpha }
nennt man
Leerheitsaxiom
.