https://scholars.lib.ntu.edu.tw/handle/123456789/587929
標題: | SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS | 作者: | SHAWN MICHAEL STANDEFER | 公開日期: | 2015 | 卷: | 8 | 期: | 3 | 來源出版物: | Review of Symbolic Logic | 摘要: | We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay's completeness theorem for GL using arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-order case. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/587929 | ISSN: | 1755-0203 1755-0211 |
DOI: | 10.1017/S1755020314000458 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。