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