K-Modallogik/Vollständigkeit/Fakt

Vollständigkeitssatz (Modallogik)

Es sei $\Gamma$ ein $K$-modallogisches System und sei $\alpha$ ein modallogischer Ausdruck.

Dann ist

$\Gamma ⊢\alpha$

genau dann, wenn

$\Gamma \models \alpha .$

Zum Beweis, Alternativen Beweis erstellen