2024.12.10
素晴らしい！
https://nicothumb2img.vercel.app/image/sm44409376#.png https://nico.ms/sm44409376
読んだ
やっぱり何回読んでもおもしろい
メモ
$ p \to pを除く，いかなる$ \{\Box,\Diamond\}^* p \to \{\Box,\Diamond\}^* pも$ \bf Kの定理ではない．
すなわち，$ \bf Kでは論理式の$ \Box,\Diamond,\Box\Diamond,\Diamond\Box,\cdotsを増やしたり減らしたり変えたりは出来ない．