2024.11.15
https://gyazo.com/c763897cd32b1e0c47b37482692931c2
https://www.famitsu.com/article/202411/23273
前：
2024.11.14
後：
2024.11.16
#日報
思った
2024.11.16
は
Foreground vol.5
に行くぜ！
これ12月頃だと思ってめちゃくちゃになってしまった
メモ
G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic"
と
G. Boolos; "The Logic of Provability"
で
$ \bf KH
の完全性のモデルがちょっと違うの普通に見落としてて意味不明になってた
すいません同じでした
メモ
https://github.com/mikf/gallery-dl
gallery-dl