Kremer presented three approaches of comparing fixed-point and revision theories of truth in Kremer ( Journal of Philosophical Logic , 38 (4), 363–403, 2009 ). Using these approaches, he established the relationships among ten fixed-point theories suggested by Kripke in ( Journal of Philosophy , 72 (19), 690–716, 1975 ) and three revision theories presented by Gupta and Belnap in ( 1993 ). This paper continues Kremer’s work. We add five other revision theories to the comparisons, including the theory proposed by Gupta in ( Journal of Philosophical Logic , 11 (1), 1–60, 1982 ), the theory proposed by Herzberger in ( Journal of Philosophical Logic , 11 (1), 61–102, 1982 ), the theory based on fully-varied revision sequences (and stability) proposed by Gupta and Belnap in ( 1993 ), the theory proposed by Yaqūb in ( 1993 ), and the theory based on weakly consistent revision sequences (and stability). We show that, the notion of Thomason model defined by Belnap’s limit rule is not equivalent to the one defined by Gupta’s limit rule, and that the theory based on fully-varied revision sequences is ≤ 2 -equivalent to the one based on the greatest intrinsic fixed point of σ .

中文翻译：

---

比较更多的修正和定点真理理论

克雷默在克雷默（Journal of Philosophical Logic , 38 (4), 363–403, 2009 ）中提出了三种比较定点和修正真理理论的方法。使用这些方法，他建立了 Kripke 在 (Journal of Philosophy, 72 (19), 690–716, 1975) 中提出的十个不动点理论与 Gupta 和 Belnap 在 (1993) 中提出的三个修正理论之间的关系。本文继续 Kremer 的工作。我们在比较中添加了其他五个修正理论，包括 Gupta 在 ( Journal of Philosophical Logic , 11 (1), 1–60, 1982 ) 中提出的理论，Herzberger 在 ( Journal of Philosophical Logic , 11 (1) ), 61–102, 1982 )，Gupta and Belnap在(1993)提出的基于全变化修正序列(和稳定性)的理论，Yaqub在(1993)提出的理论，以及基于弱一致性修订序列（和稳定性）的理论。我们表明，由 Belnap 极限规则定义的 Thomason 模型的概念并不等同于由 Gupta 的极限规则定义的概念，并且基于全变修订序列的理论≤ 2 - 等效于基于最大内在性的理论σ 的不动点。