2024.01.19
https://www.youtube.com/watch?v=KVGlVoarvSE
前：
2024.01.18
後：
2024.01.20
#日報
メモ
ひたすら
定理証明支援系での論理の形式化
正規様相論理のメモ:2024.01.18
のことは忘れよ．
どうもやっぱり素朴に
極大無矛盾集合
及び
カノニカルモデル
を構成したほうが上手く生きそうだということでそうしている．