https://scholars.lib.ntu.edu.tw/handle/123456789/631718
標題: | A Substructural Approach to Explicit Modal Logic | 作者: | SHAWN MICHAEL STANDEFER | 關鍵字: | RELEVANT LOGIC; JUSTIFICATION; INFORMATION; SEMANTICS | 公開日期: | 2023 | 出版社: | SPRINGER | 卷: | 32 | 期: | 2 | 起(迄)頁: | 333-362 | 來源出版物: | JOURNAL OF LOGIC LANGUAGE AND INFORMATION | 摘要: | In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics, particularly relevant logics, with the machinery of justification logics. We strengthen a negative result from the earlier work showing a limitation with the canonical model method of proving completeness. We then show how to enrich the language with an additional operator for implicit commitment to circumvent these problems. We then extend the logics with axioms for D, 4, and 5, which requires additional justification term operators, following the work of Pacuit (in proceedings of the fifth panhellenic logic symposium, 2005) and Rubtsova (in Grigoriev D, Harrison J (eds) Computer science—theory and applications, CSR 2006; J Logic Comput 16(5):671–684, 2006), and present the required modifications to the frame semantics. We present a simplification of the neighborhood frames from the earlier work and we close by investigating the distinctive contribution of the + operator to the logic. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/631718 | ISSN: | 0925-8531 | DOI: | 10.1007/s10849-022-09380-z |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。