ネセシテーション
様相論理の推論規則
$ \varphi \mid \Box\varphi
必然化とも訳される．
が，モーダス・ポネンスと並べたときに据わりが良いので…
命題古典論理にこれだけを追加した論理はPure Logic of Necessitationと呼ばれる．
Pure Logic of Necessitationに様相論理の公理K$ \sf Kを追加したものは正規様相論理Kと呼ばれ，そこからの派生は正規様相論理と呼ばれる．