{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T20:55:42Z","timestamp":1771620942472,"version":"3.50.1"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2014,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this second and last paper of the two part investigation on \u201cModality and Axiomatic Theories of Truth\u201d 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.<\/jats:p>","DOI":"10.1017\/s1755020314000069","type":"journal-article","created":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T08:40:50Z","timestamp":1396341650000},"page":"299-318","source":"Crossref","is-referenced-by-count":7,"title":["MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN"],"prefix":"10.1017","volume":"7","author":[{"given":"JOHANNES","family":"STERN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"key":"S1755020314000069_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF00305492"},{"key":"S1755020314000069_ref8","first-page":"227","volume-title":"Mathematical Logic and Formal Systems","volume":"94","author":"Reinhardt","year":"1985"},{"key":"S1755020314000069_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020314000069_ref5","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzn030"},{"key":"S1755020314000069_ref10","volume-title":"Toward Predicate Approaches to Modality","author":"Stern","year":"2012"},{"key":"S1755020314000069_ref6","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkl028"},{"key":"S1755020314000069_ref7","volume-title":"Truth, Vagueness and Paradox","author":"McGee","year":"1991"},{"key":"S1755020314000069_ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"},{"key":"S1755020314000069_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080209"},{"key":"S1755020314000069_ref1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T15:35:00Z","timestamp":1555947300000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000069\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["S1755020314000069"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000069","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}