Modallogik/Rahmen/Ausdruck/Gültigkeit/Definition

Gültigkeit eines Ausdrucks (Modallogischer Rahmen)

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

wenn für jede Wahrheitsbelegung

gilt.