Es sei Γ {\displaystyle {}\Gamma } ein K {\displaystyle {}K} -modallogisches System und sei α {\displaystyle {}\alpha } ein modallogischer Ausdruck.
Dann ist
genau dann, wenn
