2023.06.13
https://www.youtube.com/watch?v=W8EFXOcwqdo
前：
2023.06.12
後：
2023.06.14
#日報
やった
正規様相論理K
は決定可能だということを示した
様相論理の濾過法
について学習した
正規様相論理Kは決定可能である
思った
今日は本当は
遺伝的有限集合
における
Gödelの不完全性定理
を観てみようと思ったはずなんですよ
Solovayの算術的完全性定理
の証明が全然終えない
メモ
Harropの補題
Yuya Okawa; "Unary interpretability logics for sublogics of the interpretability logic IL"