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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem gerichteten Graphen gilt das modallogische Löb-Axiom genau dann,

wenn transitiv ist und es in keine unendlichen Ketten gibt.