論理の論理
#非一般的な用語
メモ
これらの
様相論理
/
非古典論理
は
1階述語論理
の可証性などの諸現象を分析するための論理体系である
そのため大雑把に言えば論理の上の論理，略して
論理の論理
と呼んでも差し支えないと思われる．
証明可能性論理
Gödelの不完全性定理
証明において最も重要な役割を果たす
証明可能性述語
や対角線補題を分析する際に用いられる．
最も一般的には
Hilber-Bernays-Löbの導出可能性条件
$ \bf D1,D2,D3
を
様相論理の公理および規則↓に対応させる．
ネセシテーション
様相論理の公理K
様相論理の公理4
がこれだけでは実際には上手く行かず，
Löbの定理
に対応する
様相論理の公理L
を導入する
様相論理GL
様相論理GLS
全ての証明可能性述語についての証明可能性論理
Pure Logic of Necessitation
とその拡張として得られる．
解釈可能性論理
2つの理論の間で
理論の解釈可能性
を考えるときに用いられる．
解釈可能性論理IL
解釈可能性論理ILP
解釈可能性論理ILM
保存性論理
保存性論理CL