Zum Inhalt springen

Modallogik/Löb-Axiom/Definition

Aus Wikiversity
Löb-Axiom

Das modallogische Axiomenschema

nennt man Löb-Axiom.