Modality and Axiomatic Theories of Truth: Kripke-Feferman

Research output: Contribution to journalArticle (Academic Journal)peer-review

8 Citations (Scopus)
282 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)299-318
Number of pages19
JournalReview of Symbolic Logic
Issue number2
Publication statusPublished - 2014


Dive into the research topics of 'Modality and Axiomatic Theories of Truth: Kripke-Feferman'. Together they form a unique fingerprint.

Cite this