Modallogik/Folgerungsbeziehung/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.