{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:37:59Z","timestamp":1782927479963,"version":"3.54.5"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:00:00Z","timestamp":1704844800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:00:00Z","timestamp":1704844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100007229","name":"Bijzonder Onderzoeksfonds UGent","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007229","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DFG","award":["SK 379\/1-1"],"award-info":[{"award-number":["SK 379\/1-1"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2024,4]]},"DOI":"10.1007\/s10992-023-09733-4","type":"journal-article","created":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T08:02:54Z","timestamp":1704873774000},"page":"351-371","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["8 Valued Non-Deterministic Semantics for Modal Logics"],"prefix":"10.1007","volume":"53","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Skurt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,1,10]]},"reference":[{"issue":"5","key":"9733_CR1","first-page":"815","volume":"3","author":"H Omori","year":"2016","unstructured":"Omori, H., & Skurt, D. (2016). More modal semantics without possible worlds. IfCoLog Journal of Logics and their Applications, 3(5), 815\u2013845.","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"9733_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., & Zamansky, A. (2011). Non-deterministic semantics for logical systems. In: Gabbay, Guenthner (eds.) Handbook of Philosophical Logic, Springer, 16","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"9733_CR3","unstructured":"Ivlev, Y.V. (1991). Modal Logic. (in Russian), p. 224. Moskva: Moskovskij Gosudarstvennyj Universitet"},{"issue":"1","key":"9733_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2273259","volume":"46","author":"JT Kearns","year":"1981","unstructured":"Kearns, J. T. (1981). Modal semantics without possible worlds. The Journal of Symbolic Logic, 46(1), 77\u201386. https:\/\/doi.org\/10.2307\/2273259","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9733_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1080\/11663081.2015.1011543","volume":"25","author":"ME Coniglio","year":"2015","unstructured":"Coniglio, M. E., Luis, F. D. C., & Newton, M. P. (2015). Finite non-deterministic semantics for some modal systems. Journal of Applied Non-Classical Logics, 25(1), 20\u201345. https:\/\/doi.org\/10.1080\/11663081.2015.1011543","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"9733_CR6","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1080\/11663081.2017.1300436","volume":"26","author":"ME Coniglio","year":"2016","unstructured":"Coniglio, M. E., Luis, F. D. C., & Newton, M. P. (2016). Errata and addenda to \u2018finite non-deterministic semantics for some modal systems\u2019. Journal of Applied Non-Classical Logics, 26(4), 336\u2013345. https:\/\/doi.org\/10.1080\/11663081.2017.1300436","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9733_CR7","doi-asserted-by":"publisher","unstructured":"Coniglio, M. E., Luis, F. D. C., & Newton, M. P. (2019). Modal logic with non-deterministic semantics: Part I\u2014Propositional case. Logic Journal of the IGPL, 281\u2013315. https:\/\/doi.org\/10.1093\/jigpal\/jzz027, https:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzz027\/30101966\/jzz027.pdf","DOI":"10.1093\/jigpal\/jzz027"},{"key":"9733_CR8","doi-asserted-by":"publisher","unstructured":"Coniglio, M.E., Luis, F.D.C., & Newton, M.P. (2021). Modal Logic With Non-Deterministic Semantics: Part II\u2014Quantified Case. Logic Journal of the IGPL, 695\u2013727. https:\/\/doi.org\/10.1093\/jigpal\/jzab020, https:\/\/academic.oup.com\/jigpal\/advance-article-pdf\/doi\/10.1093\/jigpal\/jzab020\/38609545\/jzab020.pdf","DOI":"10.1093\/jigpal\/jzab020"},{"issue":"1","key":"9733_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1093\/logcom\/exab068","volume":"32","author":"L Gr\u00e4tz","year":"2022","unstructured":"Gr\u00e4tz, L. (2022). Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. Journal of Logic and Computation, 32(1), 129\u2013157.","journal-title":"Journal of Logic and Computation"},{"key":"9733_CR10","doi-asserted-by":"crossref","unstructured":"Lahav, O., & Zohar, Y. (2022). Effective semantics for the modal logics K and KT via non-deterministic matrices. In: Blanchette, J., Kov\u00e1cs, L., Pattinson, D. (eds.) Automated Reasoning, Springer, pp 468\u2013485","DOI":"10.1007\/978-3-031-10769-6_28"},{"key":"9733_CR11","unstructured":"Omori, H., & Skurt, D. (2020). A semantics for a failed axiomatization of K. In: Olivietti, N., Verbrugge, R., Negri, S., Sandu, G. (eds.) Advances in Modal Logic. College Publications 13, 481\u2013501"},{"key":"9733_CR12","unstructured":"Omori, H., & Skurt, D. (2022). On Ivlev\u2019s semantics for modality. In: Coniglio, M.E., Kubyshkina, E., Zaitsev, D.V. (eds.) Many-valued Semantics and Modal Logics. Essays in Honour of Yuri V. Ivlev. Springer. forthcoming"},{"issue":"1","key":"9733_CR13","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1093\/logcom\/exab079","volume":"32","author":"P Pawlowski","year":"2022","unstructured":"Pawlowski, P., & La Rosa, E. (2022). Modular non-deterministic semantics for T, TB, S4, S5 and more. Journal of Logic and Computation, 32(1), 158\u2013171.","journal-title":"Journal of Logic and Computation"},{"key":"9733_CR14","unstructured":"Dimiter\u00a0Georgiev, T.T., & Vakarelov, D. (2022). SQEMA - an algorithm for computing first-order correspondences in modal logic: an implementation. Sofia University"},{"key":"9733_CR15","unstructured":"Humberstone, L. (2016). Philosophical Applications of Modal Logic. College Publications"},{"key":"9733_CR16","unstructured":"Segerberg, K.K. (1971). An Essay in Classical Modal Logic. The Philosophical Society in Uppsala"},{"issue":"6","key":"9733_CR17","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1002\/malq.19890350611","volume":"35","author":"H Wansing","year":"1989","unstructured":"Wansing, H. (1989). Bemerkungen zur Semantik nicht-normaler m\u00f6glicher Welten. Mathematical Logic Quarterly, 35(6), 551\u2013557.","journal-title":"Mathematical Logic Quarterly"},{"key":"9733_CR18","doi-asserted-by":"publisher","unstructured":"Priest, G. (2008). An Introduction to Non-Classical Logic, 2nd edn. Cambridge University Press. https:\/\/doi.org\/10.1017\/cbo9780511801174","DOI":"10.1017\/cbo9780511801174"},{"issue":"7","key":"9733_CR19","doi-asserted-by":"publisher","first-page":"2243","DOI":"10.1007\/s00500-018-03707-4","volume":"23","author":"ME Coniglio","year":"2019","unstructured":"Coniglio, M. E., & Golzio, A. C. (2019). Swap structures semantics for Ivlev-like modal logics. Soft Computing, 23(7), 2243\u20132254. https:\/\/doi.org\/10.1007\/s00500-018-03707-4","journal-title":"Soft Computing"},{"issue":"5","key":"9733_CR20","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1093\/jigpal\/jzy072","volume":"28","author":"ME Coniglio","year":"2020","unstructured":"Coniglio, M. E., Figallo-Orellano, A., & Golzio, A. C. (2020). Non-deterministic algebraization of logics by swap structures. Logic Journal of the IGPL, 28(5), 1021\u20131059.","journal-title":"Logic Journal of the IGPL"},{"key":"9733_CR21","unstructured":"Coniglio, M.E., & Rodrigues, A. (2022). On six-valued logics of evidence and truth expanding Belnap-dunn four-valued logic. arXiv:2209.12337"},{"issue":"1\/2","key":"9733_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D Vakarelov","year":"1977","unstructured":"Vakarelov, D. (1977). Notes on n-lattices and constructive logic with strong negation. Studia Logica: An International Journal for Symbolic Logic, 36(1\/2), 109\u2013125.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"issue":"3","key":"9733_CR23","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/s11225-021-09972-z","volume":"110","author":"ME Coniglio","year":"2022","unstructured":"Coniglio, M. E., & Toledo, G. V. (2022). Two Decision Procedures for da Costa\u2019s $$C_n$$ Logics Based on Restricted Nmatrix Semantics. Studia Logica, 110(3), 601\u2013642.","journal-title":"Studia Logica"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-023-09733-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-023-09733-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-023-09733-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T08:27:52Z","timestamp":1711528072000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-023-09733-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,10]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,4]]}},"alternative-id":["9733"],"URL":"https:\/\/doi.org\/10.1007\/s10992-023-09733-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,10]]},"assertion":[{"value":"6 December 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}