Modallogik/Rahmen/Transitivität/Fakt/Beweis/Aufgabe

Zeige, dass in einem gerichteten Graphen ${}(M,R)$ das modallogische Transitivitätsaxiom genau dann gilt, wenn ${}R$ transitiv ist.

Zur Lösung, Alternative Lösung erstellen