2024.09.03
https://gyazo.com/8b026cb81167ee75107be4c0337794d6
前：
2024.09.02
後：
2024.09.04
#日報
やった
ようやく
Kripke意味論
の共通化が終わったがやる必要があったかどうか謎になってきた
Memo
ふと
Grzのシークエント計算
ってあるのか？と思って調べた
"Cut-elimination for Weak Grzegorczyk Logic Go"
https://www.jstor.org/stable/43651787
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic
https://arxiv.org/abs/1804.00955
https://arxiv.org/pdf/1704.03258
Memo
D. Shamkanov; 2018; "Circular Proofs for the Gödel-Löb Provability Logic"
を実装してみるというのはちょっとおもしろいかもしれない…
思った
人と会話して、様相論理はKripke意味論で扱うよりも代数的に扱えるようになったほうが情報屋としては使いやすくてうれしいですよ みたいな話をしてそうなんだと思った
私の形式化では一切代数的な話をしていない
さらに言えば私は様相論理の代数的な話はほとんど何もわかっていない
#代数的意味論
ちゃんと勉強しようかな
Ono Proof Algebra
の後の方は代数編になっている
S. Artemov, L.Beklemishev, "Provability Logic"
には
Provability Algebra
について書いてある