K-Modallogik/Beweisbarkeitslogik/Transitiv/Semantisch/Aufgabe

Links hinzufügen
Aus Wikiversity

Zeige semantisch, dass ein modallogisches Modell, in dem das Löb-Axiom gilt, transitiv

sein muss.
Zur Lösung, Alternative Lösung erstellen
Abgerufen von „https://de.wikiversity.org/w/index.php?title=K-Modallogik/Beweisbarkeitslogik/Transitiv/Semantisch/Aufgabe&oldid=843835“