{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T19:38:38Z","timestamp":1780515518690,"version":"3.54.1"},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T00:00:00Z","timestamp":1679356800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Sedl\u00e1r and Vigiani [18] have developed an approach to propositional epistemic logics wherein (i) an agent\u2019s beliefs are closed under relevant implication and (ii) the agent is located in a classical possible world (i.e., the non-modal fragment is classical). Here I construct first-order extensions of these logics using the non-Tarskian interpretation of the quantifiers introduced by Mares and Goldblatt [12], and later extended to quantified modal relevant logics by Ferenz [6]. Modular soundness and completeness are proved for constant domain semantics, using non-general frames with Mares\u2013Goldblatt truth conditions. I further detail the relation between the demand that classical possible worlds have Tarskian truth conditions and incompleteness results in quantified relevant logics.<\/jats:p>","DOI":"10.1017\/s1755020323000096","type":"journal-article","created":{"date-parts":[[2023,3,21]],"date-time":"2023-03-21T06:17:40Z","timestamp":1679379460000},"page":"793-818","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":8,"title":["FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS"],"prefix":"10.1017","volume":"17","author":[{"given":"NICHOLAS","family":"FERENZ","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2023,3,21]]},"reference":[{"key":"S1755020323000096_r10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004323917968"},{"key":"S1755020323000096_r17","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2015.1094313"},{"key":"S1755020323000096_r19","unstructured":"[19] Segerber, K. (1971). An Essay in Classical Modal Logic. Ph.D. Thesis, Stanford University, Stanford."},{"key":"S1755020323000096_r22","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09603-x"},{"key":"S1755020323000096_r9","first-page":"227","article-title":"A general semantics for quantified modal logic","volume":"6","author":"Goldblatt","year":"2006","journal-title":"Advances in Modal Logic"},{"key":"S1755020323000096_r13","doi-asserted-by":"publisher","DOI":"10.1007\/BF01049182"},{"key":"S1755020323000096_r4","unstructured":"[4] Ferenz, N. (2021). Identity in Relevant Logics: A Relevant Predicative Approach. The Logica Yearbook 2020. London: College Publications, pp. 49\u201364."},{"key":"S1755020323000096_r5","unstructured":"[5] Ferenz, N. (2020). Quantified Modal Relevant Logics. Ph.D. Thesis, University of Alberta, Edmonton."},{"key":"S1755020323000096_r7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-1005-8_16"},{"key":"S1755020323000096_r8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511862359"},{"key":"S1755020323000096_r21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023335229747"},{"key":"S1755020323000096_r3","first-page":"22","article-title":"Relevant agents","volume":"8","author":"B\u00edlkov\u00e1","year":"2010","journal-title":"Advances in Modal Logic"},{"key":"S1755020323000096_r6","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020321000216"},{"key":"S1755020323000096_r11","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9412-9"},{"key":"S1755020323000096_r15","doi-asserted-by":"publisher","DOI":"10.4324\/9780203016244"},{"key":"S1755020323000096_r12","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1140641167"},{"key":"S1755020323000096_r24","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09637-1"},{"key":"S1755020323000096_r20","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1082637806"},{"key":"S1755020323000096_r1","volume-title":"Entailment: The Logic of Relevance and Necessity","volume":"2","author":"Anderson","year":"1992"},{"key":"S1755020323000096_r23","volume-title":"Logic, Convention, and Common Knowledge: A Conventionalist Account of Logic","author":"Syverson","year":"2003"},{"key":"S1755020323000096_r16","volume-title":"Relevant Logics and Their Rivals: Part 1 the Basic Philosophical and Semantical Theory","author":"Routley","year":"1982"},{"key":"S1755020323000096_r18","first-page":"697","volume-title":"Proceedings of the 14th International Conference on Advances in Modal Logic (AiML 2022)","author":"Sedl\u00e1r","year":"2022"},{"key":"S1755020323000096_r14","first-page":"277","article-title":"Almost Skolem forms for relevant (and other) logics","volume":"24","author":"Meyer","year":"1981","journal-title":"Logique et Analyse, NOUVELLE S\u00c9RIE"},{"key":"S1755020323000096_r2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv009"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020323000096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T11:11:36Z","timestamp":1730805096000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020323000096\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,21]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["S1755020323000096"],"URL":"https:\/\/doi.org\/10.1017\/s1755020323000096","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,3,21]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}