Es sei Γ {\displaystyle {}\Gamma } ein K {\displaystyle {}K} -modallogisches System und α {\displaystyle {}\alpha } ein modallogischer Ausdruck. Es gelte
Dann ist auch
