様相論理の公理K
分配公理あるいはdistribute axiomともいう．
Definition
$ \mathsf{K} \equiv \Box(\Phi \to \Psi) \to (\Box\Phi \to \Box\Psi)
参考文献
Saul A. Kripkeに由来する．