{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T15:44:15Z","timestamp":1785426255282,"version":"3.56.0"},"reference-count":37,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T00:00:00Z","timestamp":1752105600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2025,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In previous publications, it was shown that finite non-deterministic matrices are quite powerful in providing semantics for a large class of normal and non-normal modal logics. However, some modal logics, such as those whose axiom systems contained the L\u00f6b axiom or the McKinsey formula, were not analyzed via non-deterministic semantics. Furthermore, other modal rules than the rule of necessitation were not yet characterized in the framework.<\/jats:p>\n                  <jats:p>\n                    In this paper, we will overcome this shortcoming and present a novel approach for constructing semantics for normal and non-normal modal logics that is based on\n                    <jats:italic>restricted<\/jats:italic>\n                    non-deterministic matrices. This approach not only offers a uniform semantical framework for modal logics, while keeping the interpretation of the involved modal operators the same, and thus making different systems of modal logic comparable. It might also lead to a new understanding of the concept of modality.\n                  <\/jats:p>","DOI":"10.1017\/s1755020325100737","type":"journal-article","created":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:57:42Z","timestamp":1752152262000},"page":"744-774","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":6,"title":["RNMATRICES FOR MODAL LOGICS"],"prefix":"10.1017","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1807-0520","authenticated-orcid":false,"given":"MARCELO E.","family":"CONIGLIO","sequence":"first","affiliation":[{"id":[{"id":"https:\/\/ror.org\/04wffgt70","id-type":"ROR","asserted-by":"publisher"}],"name":"INSTITUTE OF PHILOSOPHY AND THE HUMANITIES - IFCH AND CENTRE FOR LOGIC EPISTEMOLOGY AND THE HISTORY OF SCIENCE - CLE UNIVERSITY OF CAMPINAS"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-6454","authenticated-orcid":false,"given":"PAWEL","family":"PAWLOWSKI","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/00rs45z86","id-type":"ROR","asserted-by":"publisher"}],"name":"GHENT UNIVERSITY"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0392-0550","authenticated-orcid":false,"given":"DANIEL","family":"SKURT","sequence":"additional","affiliation":[{"id":[{"id":"https:\/\/ror.org\/04tsk2644","id-type":"ROR","asserted-by":"publisher"}],"name":"INSTITUTE OF PHILOSOPHY I RUHR UNIVERSITY BOCHUM"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2025,7,10]]},"reference":[{"key":"S1755020325100737_r10","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzz027"},{"key":"S1755020325100737_r37","volume-title":"Modal Logic","author":"Yuri","year":"1991"},{"key":"S1755020325100737_r2","first-page":"529","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR \u201901)","volume":"2083","author":"Avron","year":"2001"},{"key":"S1755020325100737_r29","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab079"},{"key":"S1755020325100737_r31","article-title":"in eight-valued non-deterministic semantics for modal logics","volume":"35","author":"Pawlowski","year":"2024","journal-title":"Journal of Logic and Computation"},{"key":"S1755020325100737_r24","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894226"},{"key":"S1755020325100737_r14","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-021-09972-z"},{"key":"S1755020325100737_r20","doi-asserted-by":"publisher","DOI":"10.2307\/2273259"},{"key":"S1755020325100737_r4","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Berto","year":"2023"},{"key":"S1755020325100737_r30","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-023-09733-4"},{"key":"S1755020325100737_r33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174"},{"key":"S1755020325100737_r15","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL52857.2022.00023"},{"key":"S1755020325100737_r9","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2015.1011543"},{"key":"S1755020325100737_r16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511625183"},{"key":"S1755020325100737_r35","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0454-0_4"},{"key":"S1755020325100737_r3","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"S1755020325100737_r1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi001"},{"key":"S1755020325100737_r17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab068"},{"key":"S1755020325100737_r7","volume-title":"Paraconsistent Logic: Consistency, Contradiction and Negation","volume":"40","author":"Carnielli","year":"2016"},{"key":"S1755020325100737_r11","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzab020"},{"key":"S1755020325100737_r13","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-018-03707-4"},{"key":"S1755020325100737_r28","first-page":"243","volume-title":"Many-Valued Semantics and Modal Logics: Essays in Honour of Yuri Vasilievich Ivlev","author":"Omori","year":"2024"},{"key":"S1755020325100737_r22","first-page":"468","volume-title":"Automated Reasoning, Proceedings of IJCAR 2022","author":"Lahav","year":"2022"},{"key":"S1755020325100737_r18","volume-title":"Philosophical Applications of Modal Logic","author":"Humberstone","year":"2016"},{"key":"S1755020325100737_r34","volume-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"S1755020325100737_r21","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635086"},{"key":"S1755020325100737_r6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"S1755020325100737_r8","first-page":"123","article-title":"Grammar logics","volume":"31","author":"del Cerro","year":"1988","journal-title":"Logique et Analyse"},{"key":"S1755020325100737_r19","first-page":"77","article-title":"A semantics for modal calculi","volume":"17","author":"Ivlev","year":"1988","journal-title":"Bulletin of the Section of Logic"},{"key":"S1755020325100737_r32","doi-asserted-by":"publisher","DOI":"10.1007\/BF01418757"},{"key":"S1755020325100737_r36","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350611"},{"key":"S1755020325100737_r25","first-page":"815","article-title":"More modal semantics without possible worlds","volume":"3","author":"Omori","year":"2016","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"S1755020325100737_r12","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzy072"},{"key":"S1755020325100737_r5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"S1755020325100737_r27","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL51352.2021.00022"},{"key":"S1755020325100737_r23","doi-asserted-by":"crossref","unstructured":"[23] Leme, R. , Olarte, C. , Pimentel, E. , & Coniglio, M. E. (2025). The modal cube revisited: Semantics without worlds. arXiv:2505.12824 [cs.LO].","DOI":"10.1007\/978-3-032-06085-3_10"},{"key":"S1755020325100737_r26","unstructured":"[26] Omori, H. , & Skurt, D. (2020). A semantics for a failed axiomatization of K. In AiML. pp. 481\u2013501."}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020325100737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T07:46:20Z","timestamp":1759909580000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020325100737\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,10]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["S1755020325100737"],"URL":"https:\/\/doi.org\/10.1017\/s1755020325100737","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7,10]]},"assertion":[{"value":"\u00a9 The Author(s), 2025. 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"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}