Modallogik/System/Universelles Modell/Semantische Äquivalenz/Fakt

Es sei ${}\Gamma$ ein ${}K$-modallogisches System. Dann gilt im ${}\Gamma$-universellen modallogischen Modell für jede Welt und jeden modallogischen Ausdruck ${}\alpha$

die Beziehung

$W\vDash \alpha {\text{ genau dann, wenn }}\alpha \in W.$

Zum Beweis, Alternativen Beweis erstellen