2025.09.29
https://gyazo.com/5fc26e92f5eb819237e9cea779f10d53
前:2025.09.28
後:2025.09.30
#日報
やった
K. Kopnev; "The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom"を形式化した.
https://gyazo.com/f8a2a2bc575671cd33b5186c1a94080e
$ \bf E4,ET4,EMC4,EMT4は有限フレーム性を持つ
$ \sf B公理も非自明な濾過を作る必要があるはずで,どうなっているかとかも検証してみたらおもしろいのかも.
プレプリントを全部形式化したのは初めての経験だ.疲れた
観た
CITY THE ANIMATION
オチすごすぎるけど,普通にありえなさすぎる
ゲーセン少女と異文化交流
萌えだ
撮影の処理がずっとおかしかった気がするのは否めない.