2024.11.06
https://www.youtube.com/watch?v=LpKdEmiaJdo
メモ
結構スペックがいいサーバーが貰えるらしい．本当に？
やった
様相論理のラベル付き片側シークエント計算みたいなものは，考えないほうが良い．
論理式，ラベル付き論理式の上に更に新しい構造$ \lang xRy \mid y:\varphi \rangのようなものを考える羽目になった上に，$ \sf T,D,B,4,5のための規則は全く直感的ではない．
述語論理のものを参照すれば行けるのか？