{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:09:51Z","timestamp":1745334591206,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002261","name":"\u0420\u043e\u0441\u0441\u0438\u0439\u0441\u043a\u0438\u0439\u00a0 \u0424\u043e\u043d\u0434\u00a0 \u0424\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u044b\u0445\u00a0 \u0418\u0441\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0439\u00a0","doi-asserted-by":"publisher","award":["18-501-12019"],"award-info":[{"award-number":["18-501-12019"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["WA 936\/13-1"],"award-info":[{"award-number":["WA 936\/13-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11225-021-09948-z","type":"journal-article","created":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T23:04:51Z","timestamp":1619046291000},"page":"1273-1309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Neighbourhood Semantics for FDE-Based Modal Logics"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1120-3124","authenticated-orcid":false,"given":"S.","family":"Drobyshevich","sequence":"first","affiliation":[]},{"given":"D.","family":"Skurt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,21]]},"reference":[{"issue":"1","key":"9948_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., and D. Nelson, Constructible falsity and inexact predicates, The Journal of Symbolic Logic 49(1):231\u2013233, 1984.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"9948_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5(1):25\u201363, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"9948_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102:97\u2013141, 1996.","journal-title":"Artificial Intelligence"},{"key":"9948_CR4","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.\u00a0D., How a computer should think, in G.\u00a0Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1977, pp. 30\u201356."},{"key":"9948_CR5","doi-asserted-by":"crossref","unstructured":"Belnap, N. D., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Springer, Netherlands, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9948_CR6","doi-asserted-by":"crossref","unstructured":"Blok, W.\u00a0J., and D. Pigozzi, Algebraizable logics, No. 396 in Memoirs of the American Mathematical Society, AMS, Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9948_CR7","doi-asserted-by":"crossref","unstructured":"Chellas, B.\u00a0F., Modal Logic: An Introduction, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"9948_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-40581-0_9","volume-title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems","author":"P Cintula","year":"2016","unstructured":"Cintula, P., C. Noguera, and J. Rogger, From Kripke to neighborhood semantics for modal fuzzy logics, in J.\u00a0P. Carvalho et\u00a0al. (eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems, Springer International Publishing, Cham, 2016, pp. 95\u2013107."},{"key":"9948_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.fss.2017.10.009","volume":"345","author":"P Cintula","year":"2017","unstructured":"Cintula, P., and C. Noguera, Neighborhood semantics for modal many-valued logics, Fuzzy Sets and Systems 345:99\u2013112, 2017.","journal-title":"Fuzzy Sets and Systems"},{"key":"9948_CR10","doi-asserted-by":"publisher","first-page":"2233","DOI":"10.1007\/s00500-018-3369-5","volume":"23","author":"P Cintula","year":"2018","unstructured":"Cintula, P., P. Mench\u00f3n, and C. Noguera, Toward a general frame semantics for modal many-valued logics, Soft Computing, 23:2233\u20132241, 2018.","journal-title":"Soft Computing"},{"key":"9948_CR11","unstructured":"Dalmonte T., N. Olivetti, and S. Negri, Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi, in G. Bezhanishvili et\u00a0al. (eds.), Advances in Modal Logic, Vol. 12, College Publications, 2018, pp. 159\u2013178."},{"issue":"6","key":"9948_CR12","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1007\/s11225-020-09897-z","volume":"108","author":"S Drobyshevich","year":"2020","unstructured":"Drobyshevich, S., A general framework for FDE-based modal logics, Studia Logica 108(6):1281\u20131306, 2020.","journal-title":"Studia Logica"},{"issue":"3","key":"9948_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.\u00a0M., Intuitive semantics for first-degree entailment and \u2019coupled trees\u2019, Philosophical Studies 29(3):149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"issue":"1","key":"9948_CR14","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., and J.\u00a0Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence 34(1):39\u201376, 1987.","journal-title":"Artificial Intelligence"},{"key":"9948_CR15","doi-asserted-by":"publisher","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1992","unstructured":"Fitting, M., Many-valued modal logics I, Fundamenta Informaticae 15:235\u2013254, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"9948_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting, M., Many-valued modal logics II, Fundamenta Informaticae 17:55\u201373, 1992.","journal-title":"Fundamenta Informaticae"},{"key":"9948_CR17","first-page":"3","volume":"49","author":"L Goble","year":"2006","unstructured":"Goble, L., Paraconsistent modal logic, Logique et Analyse 49:3\u201329, 2006.","journal-title":"Logique et Analyse"},{"issue":"18","key":"9948_CR18","doi-asserted-by":"publisher","first-page":"2389","DOI":"10.1016\/j.fss.2009.11.011","volume":"161","author":"P H\u00e1jek","year":"2010","unstructured":"H\u00e1jek, P., On fuzzy modal logics S5, Fuzzy Sets and Systems 161(18): 2389\u20132396, 2010.","journal-title":"Fuzzy Sets and Systems"},{"issue":"1\u20132","key":"9948_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s11225-012-9376-0","volume":"100","author":"A Jung","year":"2012","unstructured":"Jung, A., and U.\u00a0Rivieccio, Priestley duality for bilattices, Studia Logica 100(1\u20132):223\u2013252, 2012.","journal-title":"Studia Logica"},{"key":"9948_CR20","doi-asserted-by":"crossref","unstructured":"Jung, A., and U. Rivieccio, Kripke semantics for modal bilattice logic, in 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, IEEE, 2013, pp. 438\u2013447.","DOI":"10.1109\/LICS.2013.50"},{"key":"9948_CR21","doi-asserted-by":"crossref","unstructured":"Kracht, M., Modal consequence relations, in P. Blackburn, J.\u00a0van Benthem, F. Wolter (eds.), Handbook of Modal Logic, Elsevier, 2007, pp. 491\u2013545.","DOI":"10.1016\/S1570-2464(07)80011-5"},{"key":"9948_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1004222213212","volume":"27","author":"M Kracht","year":"1998","unstructured":"Kracht, M., On extensions of intermediate logics by strong negation, Journal of Philosophical Logic 27:49\u201373, 1998.","journal-title":"Journal of Philosophical Logic"},{"key":"9948_CR23","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11225-018-9792-x","volume":"107","author":"M Ma","year":"2020","unstructured":"Ma, M., and Y. Lin, A Deterministic Weakening of Belnap\u2013Dunn Logic, Studia Logica 107:283\u2013312, 2020.","journal-title":"Studia Logica"},{"key":"9948_CR24","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-018-9840-6","volume":"108","author":"M Ma","year":"2020","unstructured":"Ma, M., and Y. Lin, Countably Many Weakenings of Belnap\u2013Dunn Logic, Studia Logica 108:163\u2013198, 2020.","journal-title":"Studia Logica"},{"key":"9948_CR25","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s11225-018-9840-6","volume":"108","author":"M Ma","year":"2020","unstructured":"Ma, M., and Y. Lin, Polarity Semantics for Negation as a Modal Operator, Studia Logica 108:877\u2013902, 2020.","journal-title":"Studia Logica"},{"issue":"3","key":"9948_CR26","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R., Universal grammar, Theoria 36(3):373\u2013398, 1970.","journal-title":"Theoria"},{"issue":"1","key":"9948_CR27","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, The Journal of Symbolic Logic 14(1):16\u201326, 1949.","journal-title":"The Journal of Symbolic Logic"},{"issue":"2\u20133","key":"9948_CR28","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s11225-005-8472-9","volume":"80","author":"SP Odintsov","year":"2005","unstructured":"Odintsov, S.\u00a0P., The class of extensions of Nelson\u2019s paraconsistent logic Studia Logica 80(2\u20133):291\u2013320, 2005.","journal-title":"Studia Logica"},{"key":"9948_CR29","doi-asserted-by":"crossref","unstructured":"Odintsov, S.\u00a0P., Constructive Negations and Paraconsistency, vol.\u00a026 in Trends in Logic, Springer Netherlands, 2008.","DOI":"10.1007\/978-1-4020-6867-6"},{"key":"9948_CR30","first-page":"21","volume":"7","author":"SP Odintsov","year":"2010","unstructured":"Odintsov, S.\u00a0P., Combining intuitionistic connectives and Routley negation, Siberian Electronic Mathematical Reports 7:21\u201341, 2010.","journal-title":"Siberian Electronic Mathematical Reports"},{"issue":"1\u20132","key":"9948_CR31","first-page":"319","volume":"100","author":"SP Odintsov","year":"2012","unstructured":"Odintsov, S.\u00a0P., and E.\u00a0I. Latkin, BK-lattices. Algebraic semantics for Belnapian modal logics, Studia Logica 100(1\u20132):319\u2013338, 2012.","journal-title":"Algebraic semantics for Belnapian modal logics, Studia Logica"},{"issue":"4","key":"9948_CR32","first-page":"631","volume":"28","author":"SP Odintsov","year":"2019","unstructured":"Odintsov, S.\u00a0P., D. Skurt, and H. Wansing, On definability of connectives and modal logics over FDE, Logic and Logical Philosophy 28(4):631\u2013659, 2019.","journal-title":"Logic and Logical Philosophy"},{"issue":"1","key":"9948_CR33","first-page":"3","volume":"25","author":"SP Odintsov","year":"2016","unstructured":"Odintsov, S.\u00a0P., and S.\u00a0O. Speranski, The lattice of Belnapian modal logics: Special extensions and counterparts, Logic and Logical Philosophy 25(1):3\u201333, 2016.","journal-title":"Logic and Logical Philosophy"},{"key":"9948_CR34","doi-asserted-by":"crossref","unstructured":"Odintsov, S.\u00a0P., and S.\u00a0O. Speranski, Belnap\u2013Dunn modal logics: Truth constants vs. truth values, The Review of Symbolic Logic 13(2):416\u2013435, 2020.","DOI":"10.1017\/S1755020319000121"},{"issue":"3","key":"9948_CR35","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"SP Odintsov","year":"2010","unstructured":"Odintsov, S.\u00a0P., and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20(3):279\u2013301, 2010.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"9948_CR36","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1007\/s11225-017-9753-9","volume":"105","author":"SP Odintsov","year":"2017","unstructured":"Odintsov, S.\u00a0P., and H. Wansing, Disentangling FDE-based paraconsistent modal logics, Studia Logica 105(6):1221\u20131254, 2017.","journal-title":"Studia Logica"},{"issue":"6","key":"9948_CR37","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1007\/s11225-017-9748-6","volume":"105","author":"H Omori","year":"2017","unstructured":"Omori, H., and H. Wansing, 40\u00a0years of FDE: An introductory overview, Studia Logica 105(6):1021\u20131049, 2017.","journal-title":"Studia Logica"},{"key":"9948_CR38","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1002\/malq.19880340411","volume":"34","author":"P Ostermann","year":"1988","unstructured":"Ostermann, P., Many-valued modal propositional calculi, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 34:343\u2013354, 1988.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9948_CR39","doi-asserted-by":"crossref","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic, 1st edn., Springer, 2017.","DOI":"10.1007\/978-3-319-67149-9_1"},{"key":"9948_CR40","unstructured":"Ripley, D.\u00a0W., Negation in Natural Language, Ph.D. thesis, University of North Carolina at Chapel Hill, 2009."},{"issue":"1","key":"9948_CR41","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1093\/logcom\/exv038","volume":"27","author":"U Rivieccio","year":"2015","unstructured":"Rivieccio, U., A. Jung, and R. Jansana, Four-valued modal logic: Kripke semantics and duality, Journal of Logic and Computation 27(1):155\u2013199, 2015.","journal-title":"Journal of Logic and Computation"},{"key":"9948_CR42","first-page":"143","volume-title":"Advice on Modal Logic","author":"D Scott","year":"1970","unstructured":"Scott, D., Advice on Modal Logic, Springer Dordrecht, 1970, pp. 143\u2013173."},{"key":"9948_CR43","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1111\/j.1755-2567.1967.tb00610.x","volume":"33","author":"K Segerberg","year":"1967","unstructured":"Segerberg, K., Some modal logics based on a three-valued logic, Theoria 33:53\u201371, 1967.","journal-title":"Theoria"},{"key":"9948_CR44","first-page":"517","volume":"10","author":"SO Speranski","year":"2013","unstructured":"Speranski, S.\u00a0O., On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on, Sibirskie Elektronnye Matematicheskie Izvestiya 10:517\u2013534, 2013.","journal-title":"Sibirskie Elektronnye Matematicheskie Izvestiya"},{"key":"9948_CR45","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF02124804","volume":"37","author":"SK Thomason","year":"1978","unstructured":"Thomason, S.\u00a0K., Possible worlds and many truth values, Studia Logica 37:195\u2013204, 1978.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09948-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09948-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09948-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T18:24:35Z","timestamp":1636741475000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09948-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,21]]},"references-count":45,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9948"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09948-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,4,21]]},"assertion":[{"value":"16 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 March 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}