Modallogik/Folgerungsbeziehung/Definition/Begriff/Inhalt

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

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

auch

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

gilt.