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.
Man sagt, dass ein modallogischer Ausdruck in einem gerichteten Graphen gilt, geschrieben
wenn für jede Wahrheitsbelegung
gilt.