Kの様相還元不能性
Thm:
Kの様相還元不能性
$ p \to p
を除く，いかなる
$ \{\Box,\Diamond\}^* p \to \{\Box,\Diamond\}^* p
も
$ \bf K
の定理ではない．
すなわち，
$ \bf K
では論理式の
$ \Box,\Diamond,\Box\Diamond,\Diamond\Box,\cdots
を増やしたり減らしたり変えたりは出来ない．
References
A. Chagrov, M. Zakharyaschev; "Modal Logic" Thm 3.68