{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T07:37:08Z","timestamp":1782891428918,"version":"3.54.5"},"reference-count":64,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T00:00:00Z","timestamp":1782777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,7,27]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In this paper, we contribute to the further development of non-deterministic semantics for propositional modality within the 8-valued framework. As our point of departure, we take MnD, a very weak modal logic where modal operators are inter-definable and uninterpreted. We study its extensions with respect to $\\Box ,\\Diamond ,\\vee ,\\wedge ,\\rightarrow $ by means of simple refinements. We provide axiomatisations for all extensions obtained through these refinements. This systematic approach enables the exploration of a wide range of non-deterministic modal logics and hones our understanding of non-deterministic semantics for modality.<\/jats:p>","DOI":"10.1093\/jigpal\/jzag042","type":"journal-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T11:47:47Z","timestamp":1780573667000},"source":"Crossref","is-referenced-by-count":0,"title":["Boolean and modal connectives as primitives in non-deterministic semantics"],"prefix":"10.1093","volume":"34","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[{"name":"Centre for Logic and Philosophy of Science, Universiteit Gent , Blandijnberg 2, 9000 Gent ,","place":["Belgium"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2026,6,30]]},"reference":[{"key":"2026063011203410800_ref1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-7643-7304-0_9","article-title":"Non-deterministic matrices and modular semantics of rules","author":"Avron","year":"2005","journal-title":"Log Univers"},{"key":"2026063011203410800_ref2","first-page":"625","article-title":"Non-deterministic semantics for paraconsistent C-systems","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty, volume 3571 of Lecture Notes in Artificial Intelligence","author":"Avron","year":"2005"},{"key":"2026063011203410800_ref3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s11225-005-8468-5","article-title":"A non-deterministic view on non-classical negations","volume":"80","author":"Avron","year":"2005","journal-title":"Stud Log"},{"key":"2026063011203410800_ref4","first-page":"285","article-title":"Non-deterministic semantics for families of paraconsistent logics","volume-title":"Handbook of Paraconsistency, volume 9 of Studies in Logic","author":"Avron","year":"2007"},{"key":"2026063011203410800_ref5","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":"Int J Approx Reason"},{"key":"2026063011203410800_ref6","first-page":"15","article-title":"Modular semantics for some basic logics of formal inconsistency","volume":"21","author":"Avron","year":"2009","journal-title":"Many Sides Log"},{"key":"2026063011203410800_ref7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","article-title":"Multi-valued semantics: why and how","volume":"92","author":"Avron","year":"2009","journal-title":"Stud Log"},{"key":"2026063011203410800_ref8","article-title":"Theory of effective propositional paraconsistent logics","volume-title":"Studies in Logic","author":"Avron","year":"2018"},{"key":"2026063011203410800_ref9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s11225-008-9144-3","article-title":"Rough sets and 3-valued logics","volume":"90","author":"Avron","year":"2008","journal-title":"Stud Log"},{"key":"2026063011203410800_ref10","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s11225-009-9175-4","article-title":"Proof systems for reasoning about computation errors","volume":"91","author":"Avron","year":"2009","journal-title":"Stud Log"},{"key":"2026063011203410800_ref11","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-45744-5_45","article-title":"Canonical propositional Gentzen-type systems","volume-title":"Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18\u201323, 2001 Proceedings (Lecture Notes in Computer Science), volume 2083 of Lecture Notes in Artificial Intelligence","author":"Avron","year":"2001"},{"key":"2026063011203410800_ref12","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1109\/ISMVL.2004.1319955","article-title":"Non-deterministic matrices","volume-title":"Proceedings. 34th International Symposium on Multiple-Valued Logic","author":"Avron","year":"2004"},{"key":"2026063011203410800_ref13","doi-asserted-by":"crossref","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","author":"Avron","year":"2011"},{"key":"2026063011203410800_ref14","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/ISMVL.2017.16","article-title":"Non-deterministic matrices in action: expansions, refinements, and rexpansions","volume-title":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","author":"Avron","year":"2017"},{"key":"2026063011203410800_ref15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","article-title":"Logics of formal inconsistency","volume-title":"Handbook of Philosophical Logic","author":"Carnielli","year":"2007"},{"key":"2026063011203410800_ref16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2026063011203410800_ref17","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1093\/jigpal\/jzz027","article-title":"Modal logic with non-deterministic semantics: part I\u2014propositional case","volume":"28","author":"Coniglio","year":"2010","journal-title":"Log J IGPL"},{"key":"2026063011203410800_ref18","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":"2026063011203410800_ref19","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1080\/11663081.2017.1300436","article-title":"Errata and addenda to \u2018finite non-deterministic semantics for some modal systems\u2019","volume":"26","author":"Coniglio","year":"2016","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2026063011203410800_ref20","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 Comput"},{"key":"2026063011203410800_ref21","doi-asserted-by":"crossref","first-page":"138","DOI":"10.4204\/EPTCS.415.14","article-title":"Modal logics\u2014rnmatrices vs. nmatrices","volume":"415","author":"Coniglio","year":"2024","journal-title":"Electron Proc Theor Comput Sci"},{"key":"2026063011203410800_ref22","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1017\/S1755020325100737","article-title":"Rnmatrices for modal logics","volume":"18","author":"Coniglio","year":"2025","journal-title":"Rev Symb Log"},{"key":"2026063011203410800_ref23","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11787-014-0106-4","article-title":"Dugundj\u2019s theorem revisited","volume":"8","author":"Coniglio","year":"2014","journal-title":"Log Univers"},{"key":"2026063011203410800_ref24","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2268175","article-title":"Note on a property of matrices for Lewis and Langford\u2019s calculi of propositions","volume":"5","author":"Dugundji","year":"1940","journal-title":"J Symb Log"},{"key":"2026063011203410800_ref25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11787-014-0100-x","article-title":"On non-deterministic quantification","volume":"8","author":"Ferguson","year":"2014","journal-title":"Log Univers"},{"key":"2026063011203410800_ref26","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1109\/ISMVL52857.2022.00023","article-title":"Non-deterministic many-valued modal logic","volume-title":"2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL)","author":"Ferguson","year":"2022"},{"key":"2026063011203410800_ref27","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1015111314455","article-title":"On \u0141ukasiewicz\u2019s four-valued modal logic","volume":"70","author":"Font","year":"2002","journal-title":"Stud Log Int J Symb Log"},{"key":"2026063011203410800_ref28","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-030-86059-2_3","article-title":"Analytic tableaux for non-deterministic semantics","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6\u20139, 2021, Proceedings 30","author":"Gr\u00e4tz","year":"2021"},{"key":"2026063011203410800_ref29","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":"J Log Comput"},{"key":"2026063011203410800_ref30","volume-title":"Philosophical Applications of Modal Logic","author":"Humberstone","year":"2016"},{"key":"2026063011203410800_ref31","first-page":"114","article-title":"A semantics for modal calculi","volume":"17","author":"Ivlev","year":"1988","journal-title":"Bull Sect Log"},{"key":"2026063011203410800_ref32","volume-title":"Modal logic","author":"Ivlev","year":"1991"},{"key":"2026063011203410800_ref33","doi-asserted-by":"publisher","first-page":"91","DOI":"10.12775\/LLP.2000.006","article-title":"Quasi-matrix logic as a paraconsistent logic for dubitable information","volume":"8","author":"Ivlev","year":"2000","journal-title":"Log Log Philos"},{"key":"2026063011203410800_ref34","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF02124726","article-title":"Intuitionist logic, a logic of justification","volume":"37","author":"Kearns","year":"1978","journal-title":"Stud Log"},{"key":"2026063011203410800_ref35","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":"J Symb Log"},{"key":"2026063011203410800_ref36","first-page":"468","article-title":"Effective semantics for the modal logics K and KT via non-deterministic matrices","volume-title":"Automated Reasoning, volume 13385 of Lecture Notes in Computer Science","author":"Lahav","year":"2022"},{"key":"2026063011203410800_ref37","first-page":"181","article-title":"The modal cube revisited: semantics without worlds","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, volume 15980 of Lecture Notes in Computer Science","author":"Leme"},{"key":"2026063011203410800_ref38","doi-asserted-by":"publisher","first-page":"82","DOI":"10.5840\/wcp11195314451","article-title":"A system of modal logic","volume-title":"Proceedings of the XIth International Congress of Philosophy","author":"\u0141ukasiewicz","year":"1953"},{"key":"2026063011203410800_ref39","doi-asserted-by":"publisher","first-page":"161","DOI":"10.18778\/0138-0680.48.3.01","article-title":"A note on Ciuciura\u2019s mbC1","volume":"48","author":"Omori","year":"2019","journal-title":"Bull Sect Log"},{"key":"2026063011203410800_ref40","first-page":"815","article-title":"More modal semantics without possible worlds","volume":"3","author":"Omori","year":"2016","journal-title":"IfCoLog J Log Appl"},{"key":"2026063011203410800_ref41","first-page":"481","article-title":"A semantics for a failed axiomatization of K","volume-title":"Advances in Modal Logic","author":"Omori","year":"2020"},{"key":"2026063011203410800_ref42","doi-asserted-by":"crossref","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":"2026063011203410800_ref43","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-031-56595-3_9","article-title":"On Ivlev\u2019s semantics for modality","volume-title":"Many-Valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev","author":"Omori","year":"2024"},{"key":"2026063011203410800_ref44","doi-asserted-by":"publisher","first-page":"156","DOI":"10.3390\/e22020156","article-title":"Non-deterministic semantics for quantum states","volume":"22","author":"Pablo","year":"2020","journal-title":"Entropy"},{"key":"2026063011203410800_ref45","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1093\/jigpal\/jzx055","article-title":"Proof systems for BAT consequence relations","volume":"26","author":"Pawlowski","year":"2018","journal-title":"Log J IGPL"},{"key":"2026063011203410800_ref46","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s11787-020-00263-0","article-title":"Tree-like proof systems for finitely-many valued non-deterministic consequence relations","volume":"14","author":"Pawlowski","year":"2020","journal-title":"Log Univers"},{"key":"2026063011203410800_ref47","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1007\/s10849-021-09344-9","article-title":"Non-deterministic logic of informal provability has no finite characterization","volume":"30","author":"Pawlowski","year":"2021","journal-title":"J Log Lang Inf"},{"key":"2026063011203410800_ref48","first-page":"587","article-title":"Height of valuations in non-deterministic semantics for modal logic","volume":"10","author":"Pawlowski","year":"2023","journal-title":"IfCoLog J Log Appl"},{"key":"2026063011203410800_ref49","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":"J Log Comput"},{"key":"2026063011203410800_ref50","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10992-023-09733-4","article-title":"8 valued non-deterministic semantics for modal logics","volume":"53","author":"Pawlowski","year":"2024","journal-title":"J Philos Log"},{"key":"2026063011203410800_ref51","doi-asserted-by":"publisher","first-page":"exae010","DOI":"10.1093\/logcom\/exae010","article-title":"$\\Box $ and $\\Diamond $ in eight-valued non-deterministic semantics for modal logics","volume":"35","author":"Pawlowski","year":"2025","journal-title":"J Log Comput"},{"key":"2026063011203410800_ref52","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S1755020317000363","article-title":"Many-valued logic of informal provability: a non-deterministic strategy","volume":"11","author":"Pawlowski","year":"2018","journal-title":"Rev Symb Log"},{"key":"2026063011203410800_ref53","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1093\/jigpal\/jzab035","article-title":"Logic of informal provability with truth values","volume":"31","author":"Pawlowski","year":"2023","journal-title":"Log J IGPL"},{"key":"2026063011203410800_ref54","volume-title":"Wahrscheinlichkeitslehre","author":"Reichenbach","year":"1935"},{"key":"2026063011203410800_ref55","first-page":"24","article-title":"Wahrscheinlichkeitslogik als form wissenschaftlichen denkens","volume-title":"Actes du Congr\u00e8s International de Philosophie Scientifique, IV Induction et probabilit\u00e9, volume 391 of Actualit\u00e9s scientifiques et industrielles","author":"Reichenbach","year":"1936"},{"key":"2026063011203410800_ref56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2963674","article-title":"Quasi-truth-functional systems of propositional logic","volume":"27","author":"Rescher","year":"1962","journal-title":"J Symb Log"},{"key":"2026063011203410800_ref57","article-title":"An essay in classical modal logic","volume-title":"Filosofiska studier utgivna av Filosofiska f\u00f6reningen och Filosofiska institutionen vid Uppsala universitet","author":"Segerberg","year":"1971"},{"key":"2026063011203410800_ref58","doi-asserted-by":"publisher","first-page":"215","DOI":"10.12775\/LLP.2011.012","article-title":"On axiomatization of\u2019s four-valued modal logic","volume":"20","author":"Tkaczyk","year":"2011","journal-title":"Log Log Philos"},{"key":"2026063011203410800_ref59","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":"Math Log Q"},{"key":"2026063011203410800_ref60","volume-title":"Lectures on Propositional Calculi","author":"W\u00f3jcicki","year":"1984"},{"key":"2026063011203410800_ref61","article-title":"Theory of logical calculi: basic theory of consequence operations, reprint","volume-title":"Synthese Library","author":"W\u00f3jcicki","year":"2013"},{"key":"2026063011203410800_ref62","first-page":"431","article-title":"Non-deterministic semantics for first-order paraconsistent logics","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Tenth International Conference","author":"Zamansky","year":"2006"},{"key":"2026063011203410800_ref63","first-page":"40","article-title":"Les rapports de la logique polyvalente avec le calcul des probabilit\u00e9s","volume-title":"Actes du Congr\u00e8s international de philosophie scientifique, IV Induction et probabilit\u00e9, volume 391 of Actualit\u00e9s scientifiques et industrielles","author":"Zawirski","year":"1936"},{"key":"2026063011203410800_ref64","first-page":"189","article-title":"V\u00fdrokov\u00fd po\u010det s komplexn\u00edmi hodnotami","volume":"34","author":"Zich","year":"1938","journal-title":"\u010cesk\u00e1 Mysl"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/4\/jzag042\/68652582\/jzag042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/34\/4\/jzag042\/68652582\/jzag042.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T05:48:38Z","timestamp":1782884918000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/doi\/10.1093\/jigpal\/jzag042\/8722206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,30]]},"references-count":64,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,7,27]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzag042","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,8]]},"published":{"date-parts":[[2026,6,30]]},"article-number":"jzag042"}}