Modallogik/Folgerungsbeziehung/Definition
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.