Modallogik/Rahmen/Transitivität/Fakt

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Transitivitätsaxiom genau dann,

wenn ${}R$ transitiv ist.

Zum Beweis, Alternativen Beweis erstellen