Modallogik/Rahmen/Ausdruck/Gültigkeit/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Gültigkeit eines Ausdrucks (Modallogischer Rahmen)

Man sagt, dass ein modallogischer Ausdruck in einem gerichteten Graphen gilt, geschrieben

wenn für jede Wahrheitsbelegung

gilt.