2023.11.07
https://gyazo.com/a87c98f56f7f01b723d5895e06d7f0be
前：
2023.11.06
後：
2023.11.08
#日報
メモ
A. Chagrov, M. Zakharyashchev; 1992; "Modal Companions of Intermediate Propositional Logics"
のメモ
明示的にどれか書いてないため，
Blok-Esakiaの定理
が結局どの内容を指すものなのかわからない．
思った
完全性定理
の意味での
完全性
と
不完全性定理
の意味での
完全性
は，だいたい
Java
と
JavaScript
ぐらい違う，という意見を読んだ．
確かに．
ちなみに同じです．