Es sei Γ {\displaystyle {}\Gamma } eine Menge von modallogischen Ausdrücken und α {\displaystyle {}\alpha } ein modallogischer Ausdruck. Dann ist
genau dann, wenn
