Zum Inhalt springen

MDLUL/Löb-Axiom (Modallogik)

Aus Wikiversity
MDLUL/Löb-Axiom (Modallogik)

Start=Löb-Axiom (Modallogik)

Ziel=Modallogik/Löb-Axiom/Definition