K-Modallogik/Vollständigkeit/Warnung/Bemerkung

Es sei betont, dass der Vollständigkeitssatz sich auf die Folgerung bezieht, die unter Bezug auf Modelle formuliert wird, nicht auf Rahmen. Typischerweise ist eine modallogische Ausdrucksmenge in gewissen Rahmen bei jeder Belegung gültig, aber auch noch in weiteren Rahmen bei gewissen Belegungen. Ein semantischer Beweis für die Ableitbarkeit kann also im Allgemeinen nicht allein mit Eigenschaften von gerichteten Graphen arbeiten, sondern muss auch Variablenbelegungen mitberücksichtigen.