Modallogik/Rahmen/Reflexivität/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

wenn reflexiv ist.