Modallogik/Rahmen/Löb/Stationäre Ketten/Fakt/Beweis/Aufgabe

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Löb-Axiom genau dann gilt, wenn ${}R$ transitiv ist und es in ${}M$ keine unendlichen Ketten gibt.

Zur Lösung, Alternative Lösung erstellen