Modallogik/Vollständigkeitssatz/Skizziere/Aufgabe

Formuliere den Vollständigkeitssatz der Modallogik und skizziere in Grundzügen, wie man ihn beweist.

Eine Lösung erstellen