Modallogik/Modell/Ausdruck/Gültigkeit/Definition

Gültigkeit eines Ausdruck (Modallogik)

Man sagt, dass ein modallogischer Ausdruck in einem modallogischen Modell gilt, geschrieben

wenn

für alle gilt.