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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein -modallogisches System. Dann gilt im -universellen modallogischen Modell für jede Welt und jeden modallogischen Ausdruck

die Beziehung