Makinsonの定理
無矛盾な正規様相論理$ \Lambdaは$ \Lambda \sube \mathbf{Ver}または$ \mathbf{KD} \sube \Lambda \sube \mathbf{Triv}のどちらか一方だけが成り立つ． この意味で$ \mathbf{Ver,Triv}は極大な正規様相論理である．
remark
$ \mathbf{Ver} = \mathbf{K} \oplus \Box \varphi
$ \mathbf{Triv} = \mathbf{K} \oplus \varphi \leftrightarrow \Box \varphi