科研之友
微信
新浪微博
Facebook
分享链接
摘要
We present an extension of the basic revision theory of circular definitions with a unary operator, square. 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.
- 出版日期2015-9
