Modallogik/Modell/Ausdruck/Gültigkeit/Definition
Zur Navigation springen
Zur Suche springen
Gültigkeit eines Ausdruck (Modallogik)
Man sagt, dass ein modallogischer Ausdruck in einem modallogischen Modell gilt, geschrieben
wenn
für alle gilt.