Modallogik/Ableitung/Notwendigkeitsversion/Fakt

Es sei ein -modallogisches System und ein modallogischer Ausdruck.

Dann folgt aus

die Beziehung

wobei