Stern, Johannes
(2014):
Modality and Axiomatic Theories of Truth II: Kripke-Feferman.
In: The Review of Symbolic Logic, Vol. 7, No. 2: pp. 299-318
|
![[img]](https://epub.ub.uni-muenchen.de/21837/1.hassmallThumbnailVersion/modality_and_axiomatic_theories_of_truth_ii_kripkefeferman.pdf)  Preview |
|
183kB |
Abstract
In this second and last paper of the two part investigation on "Modality and Axiomatic Theories of Truth" we apply a general strategy for constructing modal theories over axiomatic theories of truth to the theory Kripke-Feferman. This general strategy was developed in the first part of our investigation. Applying the strategy to Kripke-Feferman leads to the theory Modal Kripke-Feferman which we discuss from the three perspectives that we had already considered in the first paper, where we discussed the theory Modal Friedman-Sheard. That is, we first show that Modal Kripke-Feferman preserves theoremhood modulo translation with respect to modal operator logic. Second, we develop a modal semantics fitting the newly developed theory. Third, we investigate whether the modal predicate of Modal Kripke-Feferman can be understood along the lines of a proposal of Kripke, namely as a truth predicate modified by a modal operator.