Modallogik/Universelles Modell/Semantische Äquivalenz/Fakt

Im universellen modallogischen Modell gilt 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