Modallogik/Modell/Ausdrucksmenge/Gültigkeit/Definition

Gültigkeit einer Ausdrucksmenge (Modallogik)

Man sagt, dass eine Menge von modallogischen Ausdrücken in einem modallogischen Modell gilt, geschrieben

wenn

für alle gilt.