Modallogik/Rahmen/Reflexivität/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Reflexivitätsaxiom genau dann,

wenn ${}R$ reflexiv ist.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/Rahmen/Reflexivität/Fakt&oldid=466013“

Modelltheorie der Modallogik/Fakten