https://scholars.lib.ntu.edu.tw/handle/123456789/587923
標題: | Proof Theory for Functional Modal Logic | 作者: | SHAWN MICHAEL STANDEFER | 關鍵字: | Functional modal logic | Hypersequents | Proof theory | Revision theory | 公開日期: | 2018 | 出版社: | Springer Nature | 卷: | 106 | 期: | 1 | 來源出版物: | Studia Logica | 摘要: | We present some proof-theoretic results for the normal modal logic whose characteristic axiom is ∼ □ A≡ □ ∼ A. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587923 | ISSN: | 0039-3215 1572-8730 |
DOI: | 10.1007/s11225-017-9725-0 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。