2025.11.04
https://gyazo.com/25d1e66b60e7702522ef580756d0b398
前：
2025.11.03
後：
2025.11.05
#日報
思った
Veltman意味論
の分離，
$ \bf GL
側の
Kripke
フレームは
$ \lang 4, <\rang
とかですむから計算がめっちゃ楽だ！
思った
色々したが，みなさんには言えません