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