Modallogik/Modell/Ausdrucksmenge/Gültigkeit/Definition

Gültigkeit einer Ausdrucksmenge (Modallogik)

Man sagt, dass eine Menge ${}\Gamma$ von modallogischen Ausdrücken in einem modallogischen Modell ${}(M,R,\mu )$ gilt, geschrieben

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

wenn

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

für alle ${}\alpha \in \Gamma$ gilt.