{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T09:30:55Z","timestamp":1711531855901},"reference-count":26,"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 investigation we explore a general strategy for constructing modal theories where the modal notion is conceived as a predicate. The idea of this strategy is to develop modal theories over axiomatic theories of truth. In this first paper of our two part investigation we develop the general strategy and then apply it to the axiomatic theory of truth Friedman-Sheard. We thereby obtain the theory Modal Friedman-Sheard. The theory Modal Friedman-Sheard is then discussed from three different perspectives. First, we show that Modal Friedman-Sheard preserves theoremhood modulo translation with respect to modal operator logic. Second, we turn to semantic aspects and develop a modal semantics for the newly developed theory. Third, we investigate whether the modal predicate of Modal Friedman-Sheard 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\/s1755020314000057","type":"journal-article","created":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T12:40:44Z","timestamp":1396356044000},"page":"273-298","source":"Crossref","is-referenced-by-count":5,"title":["MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD"],"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":"S1755020314000057_ref4","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"des Rivi\u00e8res","year":"1986"},{"key":"S1755020314000057_ref8","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","article-title":"A system of complete and consistent truth","volume":"35","author":"Halbach","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020314000057_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2026380"},{"key":"S1755020314000057_ref13","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/fzn030"},{"key":"S1755020314000057_ref10","first-page":"75","volume-title":"Principles of Truth","author":"Halbach","year":"2002"},{"key":"S1755020314000057_ref20","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"S1755020314000057_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020314000057_ref26","unstructured":"Stern J . (forthcoming). Montague\u2019s theorem and modal logic. Erkenntnis, DOI 10.1007\/s10670-013-95237."},{"key":"S1755020314000057_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2694987"},{"key":"S1755020314000057_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1"},{"key":"S1755020314000057_ref16","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020314000057_ref22","doi-asserted-by":"publisher","DOI":"10.1111\/j.1475-4975.1977.tb00024.x"},{"key":"S1755020314000057_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302338"},{"key":"S1755020314000057_ref25","volume-title":"Toward Predicate Approaches to Modality","author":"Stern","year":"2012"},{"key":"S1755020314000057_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S1755020314000057_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649483"},{"key":"S1755020314000057_ref24","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011902222652"},{"key":"S1755020314000057_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1755020314000057_ref21","first-page":"162","volume-title":"Truth and Meaning","author":"Peacocke","year":"1976"},{"key":"S1755020314000057_ref15","first-page":"203","volume-title":"Principles of Truth","author":"Horsten","year":"2002"},{"key":"S1755020314000057_ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2275927"},{"key":"S1755020314000057_ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023080715357"},{"key":"S1755020314000057_ref17","first-page":"68","volume-title":"Logic Colloquium 05, Lecture Notes in Logic","author":"Leitgeb","year":"2006"},{"key":"S1755020314000057_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"S1755020314000057_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2721-6_5"},{"key":"S1755020314000057_ref2","volume-title":"The Revision Theory of Truth","author":"Belnap","year":"1993"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T19:35:10Z","timestamp":1555961710000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000057\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["S1755020314000057"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000057","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]]}}}