2025.10.29
https://gyazo.com/e3f62e0b923b713325bf869589d04cb1
だれが論争してんだよ
前：
2025.10.28
後：
2025.10.30
#日報
した
解釈可能性論理
$ \bf CL, IL
の
Veltman意味論
に対する健全性の形式化
https://github.com/FormalizedFormalLogic/Foundation/pull/602
メモ
J.M. Rovira; "Interpretability logics and generalized Veltman semantics in Agda"
なんで
Agda
にはあるんだ