2025.06.03
https://gyazo.com/1e26fad1840d476a97930774fea418d8
:)
思った
様相論理の本当にニッチな事実ばっかり知ってるせいで様相論理のニッチな事実ばっかり知ってる人という扱いになってる 思った
1970年代のちょうどKripke意味論で考えるか否かみたいな過渡期の様相論理の論文読むの大変すぎる
観た
…
萌えが止まらん
なまはげになってる
メモ
$ \bf S4.4がカノニカルなことが証明できなさすぎ
$ \bf GL.4とか$ \bf GL.9はありえるのか？
思った
ﾐｸｰｽ2でパッドのときに手が滑ってCUE押しちゃって最初に戻っちゃってる箇所があるのだけどももうそれは気にしないでほしい
しないのも逆によくないかなと思って親作品登録したのだけどこれ作者に通知行っちゃうのか…