證明可能性論理
provability logic
証明可能性論理 - Wikipedia
Provability logic - Wikipedia
或る理論で
$ \square p
を「命題
$ p
が證明できる」と讀む
GL (Gödel–Löb)
Löb の公理
$ \square(\square p\to p)\to\square p
,
$ \frac{\vdash\square p\to p}{\vdash p}
レーブの定理 - Wikipedia#証明可能性論理におけるレーブの定理
カリーのパラドックス - Wikipedia
Löb's theorem in nLab
/sno2wman/様相論理GL
/sno2wman/証明可能性論理D
擴張
解釋可能性論理 (interpretability logics)
解釈可能性論理 - Wikipedia
Interpretability logic - Wikipedia
Japaridze's polymodal logic - Wikipedia
多重樣相論理