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

wenn

$w\models \alpha$

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