Man sagt, dass eine Menge Γ {\displaystyle {}\Gamma } von modallogischen Ausdrücken in einem modallogischen Modell ( M , R , μ ) {\displaystyle {}(M,R,\mu )} gilt, wenn
für alle α ∈ Γ {\displaystyle {}\alpha \in \Gamma } gilt.
