様相論理の自然演繹
参考文献
Sara Negri; "Proof Theory for Modal Logic"
https://www.mv.helsinki.fi/home/negri/ptml_final.pdf
メモ
D. Prawitz; "Natural deduction. A proof-theoretical study"
の74~80に
様相論理S4
と
様相論理S5
の
古典論理
/
直観主義論理
/
最小論理
の
自然演繹
の定式化が載っているらしい
が相当古そうなのでもっと減退のやつを参考にしたほうが良いかも知れない