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

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Löb-Axiom genau dann,

wenn ${}R$ transitiv ist und es in ${}M$ keine unendlichen Ketten gibt.

Zum Beweis, Alternativen Beweis erstellen