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

${\displaystyle (M,R,\mu )\vDash \alpha ,}$

wenn

${\displaystyle w\vDash \alpha }$

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