Modallogik/Folgerungsbeziehung/Definition

Folgerung (Modallogik)

Es sei eine Menge von modallogischen Ausdrücken und ein modallogischer Ausdruck. Man sagt, dass aus folgt, geschrieben , wenn für jedes modallogische Modell mit

auch

gilt.