Modallogik/Rahmen/Löb/Stationäre Ketten/Fakt
In einem gerichteten Graphen gilt das modallogische Löb-Axiom genau dann,
wenn transitiv ist und es in keine unendlichen Ketten gibt.
In einem gerichteten Graphen gilt das modallogische Löb-Axiom genau dann,
wenn transitiv ist und es in keine unendlichen Ketten gibt.