Modallogik/Modell/Ausdrucksmenge/Gültigkeit/Definition
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.