2024.08.06
https://gyazo.com/b2d21fcb91ecb666905c8ccf3a9b6066
前：
2024.08.05
後：
2024.08.07
#日報
やった
https://github.com/FormalizedFormalLogic/Foundation/pull/118
$ \bf KC
と
$ \bf LC
の
Kripke完全性
$ \bf LC
に比べ，
$ \bf KC
の方はありえないほど長い．
メモ
直観主義論理
のフレーム，一般化してしまったけど本質的に（組み込まれて）反射性と推移性は必要だったのではないかと言う気がしてきた
defines
のときに詰む？
メモ
A. Chagrov, M. Zakharyaschev; "Modal Logic" Thm 3.72