K-Modallogik/Beweisbarkeitslogik/Transitiv/Semantisch/Aufgabe

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

sein muss.

Zur Lösung, Alternative Lösung erstellen