Modallogik/Modell/Ausdruck/Gültigkeit/Definition

Gültigkeit eines Ausdruck (Modallogik)

Man sagt, dass ein modallogischer Ausdruck ${}\alpha$ in einem modallogischen Modell ${}(M,R,\mu )$ gilt, geschrieben

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

wenn

$w\vDash \alpha$

für alle ${}w\in M$ gilt.