Modallogik/Löb-Axiom/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Löb-Axiom

Das modallogische Axiomenschema

nennt man Löb-Axiom.