Modallogik/Modell/Ausdruck/Gültigkeit/Definition/Begriff/Inhalt
Man sagt, dass ein modallogischer Ausdruck in einem modallogischen Modell gilt, wenn
für alle gilt.
Man sagt, dass ein modallogischer Ausdruck in einem modallogischen Modell gilt, wenn
für alle gilt.