2025.06.24
https://gyazo.com/333693207e264ef720f130bc1516aa2b
$ \bf S4のModalities Reduction （長さ3のケース）
前：2025.06.23
後：2025.06.25
#日報
やっている
$ \bf S4のModal Reductionの形式化って何を示したら言ったことになるんだ？と思ってこうなった
$ \forall n \in \N, \forall \mu \in \Mu_n, \exists \mu' \in \Mu_\mathbf{S4}, \mu \leadsto \mu'
ただし$ \Mu_nは長さ$ nの様相すべて，
$ \Mu_\mathbf{S4} := \{-,\lnot,\Box,\Diamond,\lnot\Diamond,\lnot\Box,...\}で，これらは相互に異なる．$ |\Mu_\mathbf{S4}| = 14
メモ
S4の拡張の様相は14,10,8,6,2,1
思った
Chellas, "Modal Logic"って読んだことなくて今日初めて見つけて読んだけどめっちゃ色々有益でワロタ