2024.08.23
https://gyazo.com/3691410bf3a6d380ecb99793d22774e2
前：2024.08.22
後：2024.08.24
#日報
思った
証明可能性論理GLの完全性2が証明できて本当に嬉しい
思った
正規様相論理をNormalたらしめているネセシテーションとK公理の2つについて、どちらかを落とした論理の意味論などはどうなるのだろう？というやや自然な問いが割と考えられてこなかったのは不思議だという話をしたが実際なぜなのだろう