{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:22:09Z","timestamp":1758979329828,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031107689"},{"type":"electronic","value":"9783031107696"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":212,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A four-valued semantics for the modal logic K is introduced. Possible worlds are replaced by a hierarchy of four-valued valuations, where the valuations of the first level correspond to valuations that are legal w.r.t. a basic non-deterministic matrix, and each level further restricts its set of valuations. The semantics is proven to be effective, and to precisely capture derivations in a sequent calculus for K of a certain form. Similar results are then obtained for the modal logic KT, by simply deleting one of the truth values.<\/jats:p>","DOI":"10.1007\/978-3-031-10769-6_28","type":"book-chapter","created":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T01:02:56Z","timestamp":1659315776000},"page":"468-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices"],"prefix":"10.1007","author":[{"given":"Ori","family":"Lahav","sequence":"first","affiliation":[]},{"given":"Yoni","family":"Zohar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,1]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of Philosophical Logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems - a survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227\u2013304. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/978-94-007-0479-4_4"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., Lev, I.: Non-deterministic multi-valued structures. J. Log. Comput. 15, 241\u2013261 (2005). Conference version: Avron, A., Lev, I.: Canonical propositional Gentzen-type systems. In: International Joint Conference on Automated Reasoning, IJCAR 2001. Proceedings, LNAI, vol. 2083, pp. 529\u2013544. Springer (2001)","DOI":"10.1007\/3-540-45744-5_45"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, 2nd edn., vol. 336. IOS Press (2021)","DOI":"10.3233\/FAIA336"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1080\/11663081.2015.1011543","volume":"25","author":"ME Coniglio","year":"2015","unstructured":"Coniglio, M.E., del Cerro, L.F., Peron, N.M.: Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Log. 25(1), 20\u201345 (2015)","journal-title":"J. Appl. Non Class. Log."},{"issue":"4","key":"28_CR5","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1080\/11663081.2017.1300436","volume":"26","author":"ME Coniglio","year":"2016","unstructured":"Coniglio, M.E., del Cerro, L.F., Peron, N.M.: Errata and addenda to \u2018finite non-deterministic semantics for some modal systems\u2019. J. Appl. Non Class. Log. 26(4), 336\u2013345 (2016)","journal-title":"J. Appl. Non Class. Log."},{"key":"28_CR6","first-page":"1","volume":"110","author":"ME Coniglio","year":"2021","unstructured":"Coniglio, M.E., Toledo, G.V.: Two decision procedures for da costa\u2019s Cn logics based on restricted Nmatrix semantics. Stud. Log. 110, 1\u201342 (2021)","journal-title":"Stud. Log."},{"key":"28_CR7","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2004","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (2004)"},{"issue":"1","key":"28_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1093\/logcom\/exab068","volume":"32","author":"L Gr\u00e4tz","year":"2022","unstructured":"Gr\u00e4tz, L.: Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. J. Log. Comput. 32(1), 129\u2013157 (2022)","journal-title":"J. Log. Comput."},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"Automata, Languages and Programming","author":"J Halpern","year":"1983","unstructured":"Halpern, J., Manna, Z., Moszkowski, B.: A hardware semantics based on temporal intervals. In: Diaz, J. (ed.) ICALP 1983. LNCS, vol. 154, pp. 278\u2013291. Springer, Heidelberg (1983). https:\/\/doi.org\/10.1007\/BFb0036915"},{"issue":"1","key":"28_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2273259","volume":"46","author":"JT Kearns","year":"1981","unstructured":"Kearns, J.T.: Modal semantics without possible worlds. J. Symb. Log. 46(1), 77\u201386 (1981)","journal-title":"J. Symb. Log."},{"issue":"4","key":"28_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/2528930","volume":"14","author":"O Lahav","year":"2013","unstructured":"Lahav, O., Avron, A.: A unified semantic framework for fully structural propositional sequent systems. ACM Trans. Comput. Log. 14(4), 271\u2013273 (2013)","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"28_CR12","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.: Modular non-deterministic semantics for T, TB, S4, S5 and more. J. Log. Comput. 32(1), 158\u2013171 (2022)","journal-title":"J. Log. Comput."},{"issue":"2\/3","key":"28_CR13","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/BF00370324","volume":"39","author":"VR Pratt","year":"1980","unstructured":"Pratt, V.R.: Application of modal logic to programming. Stud. Log.: Int. J. Symb. Log. 39(2\/3), 257\u2013274 (1980)","journal-title":"Stud. Log.: Int. J. Symb. Log."},{"issue":"5","key":"28_CR14","first-page":"815","volume":"3","author":"D Skurt","year":"2016","unstructured":"Skurt, D., Omori, H.: More modal semantics without possible worlds. FLAP 3(5), 815\u2013846 (2016)","journal-title":"FLAP"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Many-valued logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, 2nd edn., pp. 249\u2013295. Kluwer (2001)","DOI":"10.1007\/978-94-017-0452-6_4"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-94-010-0387-2_2","volume-title":"Handbook of Philosophical Logic","author":"H Wansing","year":"2002","unstructured":"Wansing, H.: Sequent systems for modal logics. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, 2nd edn., pp. 61\u2013145. Springer, Dordrecht (2002). https:\/\/doi.org\/10.1007\/978-94-010-0387-2_2","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-10769-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T01:14:55Z","timestamp":1659316495000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-10769-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031107689","9783031107696"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-10769-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IJCAR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Automated Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haifa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 August 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ijcar2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/easychair.org\/smart-program\/FLoC2022\/IJCAR-index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}