Man sagt, dass ein modallogischer Ausdruck α {\displaystyle {}\alpha } in einem modallogischen Modell ( M , R , μ ) {\displaystyle {}(M,R,\mu )} gilt, wenn
für alle w ∈ M {\displaystyle {}w\in M} gilt.