Modallogik/Rahmen/Transitivität/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem gerichteten Graphen gilt das modallogische Transitivitätsaxiom genau dann,

wenn transitiv ist.