Modallogik/Modell/Ausdrucksmenge/Gültigkeit/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.