Modallogik/Folgerungsbeziehung/Definition

Folgerung (Modallogik)

Es sei ${}\Gamma$ eine Menge von modallogischen Ausdrücken und ${}\alpha$ ein modallogischer Ausdruck. Man sagt, dass ${}\alpha$ aus ${}\Gamma$ folgt, geschrieben ${}\Gamma \vDash \alpha$, wenn für jedes modallogische Modell ${}(M,R,\mu )$ mit

$(M,R,\mu )\vDash \Gamma$

auch

$(M,R,\mu )\vDash \alpha$

gilt.