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)\vDash \alpha ,$

wenn für jede Wahrheitsbelegung ${}\mu$

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

gilt.