Modallogik/Rahmen/Ausdruck/Gültigkeit/Definition

Gültigkeit eines Ausdrucks (Modallogischer Rahmen)

Man sagt, dass ein modallogischer Ausdruck $\alpha$ in einem gerichteten Graphen $(M,R)$ gilt, geschrieben

$(M,R)\models \alpha ,$

wenn für jede Wahrheitsbelegung $\mu$

$(M,R,\mu )\models \alpha$

gilt.