2024.06.10
https://gyazo.com/3b68d3bad9c122102990f6ae133e6799
前：
2024.06.09
後：
2024.06.11
#日報
メモ
真夏の夜の淫夢に言及した学術的研究
メモ
Löbの定理
の再証明
思った
$ \bf GL
と等価な
$ \bf K4(L)
正規様相論理K4
に
Löb推論規則
を追加した体系を考えると
算術的健全性定理
を示すとき
$ \bf K4(L)
で考えたほうが
導出可能性条件
D1 ~ D3と
Löbの定理
だけ使って（もちろんLöbの定理はD1 ~ D3から導かれるため）見通しが良い
$ \bf GL
を使う場合
形式化されたLöbの定理
がいる
まあもちろん両方とも同じことですが…
メモ
GLはカノニカルではない
証明可能性論理GLは有限フレーム性がある