Modallogik/Modell/Ausdrucksmenge/Gültigkeit/Definition/Begriff/Inhalt
Man sagt, dass eine Menge von modallogischen Ausdrücken in einem modallogischen Modell gilt, wenn
für alle gilt.
Man sagt, dass eine Menge von modallogischen Ausdrücken in einem modallogischen Modell gilt, wenn
für alle gilt.