2025.09.06
https://gyazo.com/4486fef90d16a43f6a2fc68f77cf904c
前：
2025.09.05
後：
2025.09.07
#日報
メモ
証明可能性論理の分類定理
の証明を追った
L. Beklemishev; "On the Classification of Propositional Provability Logics"
を追って簡潔すれば良い．
S. Artemov, L.Beklemishev, "Provability Logic"
にも証明が書いてあっておそらくこっちを読んだほうが良い気がする．
いくつかは端折られているらしい．
メモ
セトリをまた一から組む
思った
$ \bigvee,\bigwedge
の扱い面倒すぎる！