{"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":1782927480730,"version":"3.54.5"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2021,12,22]],"date-time":"2021-12-22T00:00:00Z","timestamp":1640131200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,1,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In this paper, a modular approach for non-deterministic semantics for (non-normal) modal logics is developed. In particular, our aim is to improve and reinterpret some results from Omori and Skurt (2016, IfCoLog J. Logics Appl., 3, 815\u2013845) and Coniglio et al. (2015, J. Appl. Non-Class. Log., 25, 20\u201345) regarding modal systems T, TB, S4 and S5. More economical axiomatizations make the rule of necessitation modular, thus providing non-deterministic semantics for (NEC)-free fragments for all the investigated systems. Moreover, by fixing the interpretation of all connectives but the modal ones, a combinatorial outlook at their matrices is provided to the effect that a new modal system and simplification of those for T and S4 are achieved.<\/jats:p>","DOI":"10.1093\/logcom\/exab079","type":"journal-article","created":{"date-parts":[[2021,11,25]],"date-time":"2021-11-25T12:19:45Z","timestamp":1637842785000},"page":"158-171","source":"Crossref","is-referenced-by-count":12,"title":["Modular non-deterministic semantics for T, TB, S4, S5 and more"],"prefix":"10.1093","volume":"32","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[{"name":"Faculty of Arts and Philosophy, Ghent University, Campus Boekentoren, Blandijnberg 2, B-9000 Ghent, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elio","family":"La Rosa","sequence":"additional","affiliation":[{"name":"Fakult\u00e4t f\u00fcr Philosophie, Wissenschaftstheorie und Religionswissenschaft, Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians Universit\u00e4t M\u00fcnchen, Geschwister Scholl Platz 1, 80539, M\u00fcnchen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2021,12,22]]},"reference":[{"key":"2022011314413268400_ref1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","article-title":"Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics","volume":"1","author":"Avron","year":"2007","journal-title":"Logica Universalis"},{"key":"2022011314413268400_ref2","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","author":"Avron","year":"2001"},{"key":"2022011314413268400_ref3","doi-asserted-by":"crossref","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":"2022011314413268400_ref4","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1109\/ISMVL.2005.40","article-title":"Quantification in non-deterministic multi-valued structures","volume-title":"35th International Symposium on Multiple-Valued Logic (ISMVL\u201905)","author":"Avron","year":"2005"},{"key":"2022011314413268400_ref5","first-page":"1","volume-title":"Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)consistency","author":"Avron","year":"2007"},{"key":"2022011314413268400_ref6","doi-asserted-by":"crossref","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":"2022011314413268400_ref7","doi-asserted-by":"crossref","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":"2022011314413268400_ref8","doi-asserted-by":"crossref","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":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2022011314413268400_ref9","doi-asserted-by":"crossref","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"},{"key":"2022011314413268400_ref10","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/s11787-014-0106-4","article-title":"Dugundji\u2019s theorem revisited","volume":"8","author":"Coniglio","year":"2014","journal-title":"Logica Universalis"},{"key":"2022011314413268400_ref11","doi-asserted-by":"crossref","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":"Journal of Symbolic Logic"},{"key":"2022011314413268400_ref12","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11787-014-0100-x","article-title":"On non-deterministic quantification","volume":"8","author":"Ferguson","year":"2014","journal-title":"Logica Universalis"},{"key":"2022011314413268400_ref13","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/2271439","article-title":"An embedding of classical logic in S4","volume":"35","author":"Fitting","year":"1970","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011314413268400_ref14","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/exab068","volume-title":"Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics","author":"Gr\u00e4tz","year":"2021"},{"key":"2022011314413268400_ref15","first-page":"114","article-title":"A semantics for modal calculi","volume":"17","author":"Ivlev","year":"1988","journal-title":"Bulletin of the Section of Logic"},{"key":"2022011314413268400_ref16","doi-asserted-by":"crossref","first-page":"156","DOI":"10.3390\/e22020156","article-title":"Non-deterministic semantics for quantum states","volume":"22","author":"Jorge","year":"2020","journal-title":"Entropy"},{"key":"2022011314413268400_ref17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.2307\/2273259","article-title":"Modal semantics without possible worlds","volume":"46","author":"Kearns","year":"1981","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011314413268400_ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","article-title":"Some theorems about the sentential calculi of Lewis and Heyting","volume":"13","author":"McKinsey","year":"1948","journal-title":"The Journal of Symbolic Logic"},{"key":"2022011314413268400_ref19","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":"2022011314413268400_ref20","doi-asserted-by":"crossref","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":"The Review of Symbolic Logic"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/1\/158\/42180357\/exab079.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/1\/158\/42180357\/exab079.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T14:42:03Z","timestamp":1642084923000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/1\/158\/6478265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,22]]},"references-count":20,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,12,22]]},"published-print":{"date-parts":[[2022,1,12]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab079","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,1]]},"published":{"date-parts":[[2021,12,22]]}}}