{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:38:00Z","timestamp":1782927480522,"version":"3.54.5"},"reference-count":30,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.415.14","type":"journal-article","created":{"date-parts":[[2024,12,28]],"date-time":"2024-12-28T06:55:37Z","timestamp":1735368937000},"page":"138-149","source":"Crossref","is-referenced-by-count":2,"title":["Modal Logics - RNmatrices vs. Nmatrices"],"prefix":"10.4204","volume":"415","author":[{"given":"Marcelo E.","family":"Coniglio","sequence":"first","affiliation":[{"name":"University of Campinas, Campinas, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pawe\u0142","family":"Paw\u0142owski","sequence":"additional","affiliation":[{"name":"Ghent University, Ghent, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Skurt","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2720","published-online":{"date-parts":[[2024,12,31]]},"reference":[{"issue":"2","key":"Avron2007","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","article-title":"Non-deterministic semantics for logics with a consistency operator","volume":"45","author":"Avron","year":"2007","journal-title":"International Journal of Approximate Reasoning"},{"key":"AL2001","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-45744-5_45 publisher = Springer-Verlag","article-title":"Canonical propositional Gentzen-type systems","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR \u201901)","volume":"2083","author":"Avron","year":"2001"},{"issue":"3","key":"AL2005","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","article-title":"Non-Deterministic Multiple-valued Structures","volume":"15","author":"Avron","year":"2005","journal-title":"Journal of Logic and Computation"},{"key":"AZSurvey","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","article-title":"Non-Deterministic Semantics for Logical Systems","volume-title":"Handbook of Philosophical Logic","volume":"16","author":"Avron","year":"2011"},{"key":"sep-hyperintensionality","article-title":"Hyperintensionality","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Berto","year":"2023"},{"key":"blackburnetal2001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","volume":"53","author":"Blackburn","year":"2001"},{"key":"carnielli2016paraconsistent","series-title":"Logic, Epistemology, and the Unity of Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33205-5_5","volume-title":"Paraconsistent logic: Consistency, contradiction and negation","volume":"40","author":"Carnielli","year":"2016"},{"issue":"1","key":"Coniglio2015","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1080\/11663081.2015.1011543","article-title":"Finite Non-Deterministic Semantics for Some Modal Systems","volume":"25","author":"Coniglio","year":"2015","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"Coniglio2019","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1093\/jigpal\/jzz027","article-title":"Modal logic with non-deterministic semantics: Part I\u2014Propositional case","author":"Coniglio","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"Coniglio2021","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1093\/jigpal\/jzab020","article-title":"Modal Logic With Non-Deterministic Semantics: Part II\u2014Quantified Case","author":"Coniglio","year":"2021","journal-title":"Logic Journal of the IGPL"},{"issue":"7","key":"Coniglio2019a","doi-asserted-by":"publisher","first-page":"2243","DOI":"10.1007\/s00500-018-03707-4","article-title":"Swap structures semantics for Ivlev-like modal logics","volume":"23","author":"Coniglio","year":"2019","journal-title":"Soft Computing"},{"issue":"3","key":"Coniglio2021a","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/s11225-021-09972-z","article-title":"Two Decision Procedures for da Costa's C_n Logics Based on Restricted Nmatrix Semantics","volume":"110","author":"Coniglio","year":"2021","journal-title":"Studia Logica"},{"issue":"1","key":"Lukas2022","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1093\/logcom\/exab068","article-title":"Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics","volume":"32","author":"Gr\u00e4tz","year":"2022","journal-title":"Journal of Logic and Computation"},{"key":"Humberstone2016","volume-title":"Philosophical Applications of Modal Logic","author":"Humberstone","year":"2016"},{"key":"Ivlev88","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":"Ivlev91","volume-title":"Modal logic. (in Russian)","author":"Ivlev","year":"1991"},{"issue":"1","key":"Kearns81","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2273259","article-title":"Modal Semantics without Possible Worlds","volume":"46","author":"Kearns","year":"1981","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"Kearns89","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1305\/ndjfl\/1093635086","article-title":"Le\\'sniewski's strategy and modal logic","volume":"30","author":"Kearns","year":"1989","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"lav:zoh:22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-031-10769-6_28","article-title":"Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices","volume-title":"Automated Reasoning. Proceedings of IJCAR 2022","volume":"13385","author":"Lahav","year":"2022"},{"issue":"2","key":"Makinson1971","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","article-title":"Some embedding theorems for modal logic.","volume":"12","author":"Makinson","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"OmoriSkurt16","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":"OmoriSkurt2020","first-page":"481","article-title":"A Semantics for a Failed Axiomatization of K.","volume-title":"Advances in Modal Logic","author":"Omori","year":"2020"},{"key":"OmoriSkurt2021","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/ISMVL51352.2021.00022","article-title":"Untruth, falsity and non-deterministic semantics","volume-title":"2021 IEEE 51st International Symposium on Multiple-Valued Logic (ISMVL)","author":"Omori","year":"2021"},{"key":"OmoriSkurt22","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-031-56595-3_9","volume-title":"On Ivlev's Semantics for Modality","author":"Omori","year":"2024"},{"issue":"1","key":"pawlowski2022","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1093\/logcom\/exab079","article-title":"Modular non-deterministic semantics for T, TB, S4, S5 and more","volume":"32","author":"Pawlowski","year":"2022","journal-title":"Journal of Logic and Computation"},{"key":"PawlowskiSkurt2023","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-023-09733-4","article-title":"8 Valued Non-Deterministic Semantics for Modal Logics","author":"Pawlowski","year":"2024","journal-title":"Journal of Philosophical Logic"},{"key":"PawlowskiSkurt2024","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-023-09733-4","article-title":"and in eight-valued non-deterministic semantics for modal logics","author":"Pawlowski","year":"2024","journal-title":"Journal of Logic and Computation"},{"key":"Priest08","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"Introduction to non-classical logics: from ifs to is","author":"Priest","year":"2008"},{"key":"segerberg1971","volume-title":"An essay in classical modal logic","author":"Segerberg","year":"1971"},{"issue":"6","key":"wansing1989","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1002\/malq.19890350611","article-title":"Bemerkungen Zur Semantik Nicht-Normaler M\u00f6glicher Welten","volume":"35","author":"Wansing","year":"1989","journal-title":"Mathematical Logic Quarterly"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T08:04:39Z","timestamp":1736755479000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2501.00492v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,31]]},"references-count":30,"URL":"https:\/\/doi.org\/10.4204\/eptcs.415.14","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,31]]}}}