Modallogik/Modell/Ausdruck/Gültigkeit/Definition

Aus Wikiversity
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.