{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:23Z","timestamp":1740123023179,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:00:00Z","timestamp":1601424000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T00:00:00Z","timestamp":1601424000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012456","name":"Chinese National Funding of Social Sciences","doi-asserted-by":"publisher","award":["18ZA033"],"award-info":[{"award-number":["18ZA033"]}],"id":[{"id":"10.13039\/501100012456","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,8]]},"DOI":"10.1007\/s11225-020-09925-y","type":"journal-article","created":{"date-parts":[[2020,9,30]],"date-time":"2020-09-30T20:02:55Z","timestamp":1601496175000},"page":"759-789","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Belnap\u2013Dunn Modal Logic with Value Operators"],"prefix":"10.1007","volume":"109","author":[{"given":"Yuanlei","family":"Lin","sequence":"first","affiliation":[]},{"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,30]]},"reference":[{"key":"9925_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap,\u00a0N., A useful four-valued logic, in J. M. Dunn and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel Publishing Company, Dordrecht, Holland, 1977, pp. 5\u201337."},{"key":"9925_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., L.\u00a0De Rijke, and Y. Venema, Modal Logic, Cambridge University Press, Cambridge MA, 2001."},{"key":"9925_CR3","first-page":"739","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou, F., Esteva, M. Godo, and R. Rodr\u00edguez, On the minimum many-valued modal logic over a finite residuated lattice, Journal of Logic and Computation 21: 739\u2013790, 2011.","journal-title":"Rodr\u00edguez, On the minimum many-valued modal logic over a finite residuated lattice, Journal of Logic and Computation"},{"key":"9925_CR4","unstructured":"Dunn, J. M., The Algebra of Intensional Logics, Ph.D. thesis, University of Pittsburg, 1966."},{"key":"9925_CR5","first-page":"433","volume":"32","author":"JM Dunn","year":"1967","unstructured":"Dunn, J. M., The effective equivalence of certain propositions about De Morgan lattices, The Journal of Symbolic Logic 32: 433\u2013434, 1967.","journal-title":"The Journal of Symbolic Logic"},{"key":"9925_CR6","unstructured":"Dunn, J. M., A Kripke-style semantics for first-degree relevant implications (abstract), The Journal of Symbolic Logic 36: 362\u2013363, 1971."},{"key":"9925_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J. M., Intuitive semantics for first-degree entailments and coupled trees, Philosophical Studies 29: 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9925_CR8","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic Volume III: Alternatives in Classical Logic","author":"JM Dunn","year":"1986","unstructured":"Dunn, J. M., Relevance logic and entaiment, in D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic Volume III: Alternatives in Classical Logic, Springer Science+Business Media, Dordrecht, 1986, pp. 117\u2013224."},{"key":"9925_CR9","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., A comparative study of various model-theoretic treatments of negation: a history of formal negation, in D. M. Gabbay and H. Wansing, (eds.), What is Negation?, Kluwer Academic Publishers, 1999, pp. 23\u201351.","DOI":"10.1007\/978-94-015-9309-0_2"},{"key":"9925_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"JM Dunn","year":"2000","unstructured":"Dunn, J. M., Partiality and its dual, Studia Logica 65: 5\u201340, 2000.","journal-title":"Studia Logica"},{"key":"9925_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"15","author":"M Fitting","year":"1991","unstructured":"Fitting, M., Many-valued modal logics, Fundamenta Informaticae 15: 235\u2013254, 1991.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"9925_CR12","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of IGPL 5(3): 413\u2013440, 1997.","journal-title":"Logic Journal of IGPL"},{"issue":"5","key":"9925_CR13","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/jigpal\/7.5.671","volume":"7","author":"JM Font","year":"1999","unstructured":"Font, J. M., Addendum to the paper Belnaps four-valued logic and De Morgan lattices, Logic Journal of IGPL 7(5): 671\u2013672, 1999.","journal-title":"Logic Journal of IGPL"},{"key":"9925_CR14","volume-title":"Abstract Algebraic Logic","author":"JM Font","year":"2016","unstructured":"Font, J. M., Abstract Algebraic Logic, Colledge Publications, London, 2016."},{"key":"9925_CR15","first-page":"163","volume-title":"Algebra and Logic","author":"R Goldblatt","year":"1974","unstructured":"Goldblatt, R., and S. K. Thomason, Axiomatic classes in propositional modal logic, in J. Crossley, (ed.), Algebra and Logic, Springer, Berlin, 1974, pp. 163\u2013173."},{"key":"9925_CR16","doi-asserted-by":"crossref","unstructured":"Goranko, V., and M. Otto, Model theory of modal logic, in P. Blackburn, J. van Benthem and F. Wolter, (eds.), Handbook of Modal Logic, Elsevier, 2007, pp. 249\u2013329.","DOI":"10.1016\/S1570-2464(07)80008-5"},{"key":"9925_CR17","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s11225-019-09879-w","volume":"108","author":"Y Lin","year":"2019","unstructured":"Lin,\u00a0Y., and M. Ma, Polarity semantics for negation as a modal operator, Studia Logica 108:877\u2013902, 2019.","journal-title":"Studia Logica"},{"key":"9925_CR18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11225-018-9792-x","volume":"107","author":"M Ma","year":"2019","unstructured":"Ma,\u00a0M., and Y. Lin, A Deterministic Weakening of Belnap-Dunn Logic, Studia Logica 107: 283\u2013312, 2019.","journal-title":"Studia Logica"},{"key":"9925_CR19","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-018-9840-6","volume":"108","author":"M Ma","year":"2020","unstructured":"Ma,\u00a0M., and Y. Lin, Countably Many Weakenings of Belnap-Dunn Logic, Studia Logica 108: 163\u2013198, 2020.","journal-title":"Studia Logica"},{"key":"9925_CR20","first-page":"401","volume":"20","author":"CG Morgan","year":"1979","unstructured":"Morgan, C. G., Local and global operators and many-valued modal logics, Notre Dame Journal of Formal Logic 20: 401\u2013411, 1979.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9925_CR21","first-page":"130","volume":"30","author":"O Morikawa","year":"1989","unstructured":"Morikawa, O., Some modal logics based on a three-valued logic, Notre Dame Journal of Formal Logic 30: 130\u2013137, 1989.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9925_CR22","first-page":"319","volume":"100","author":"SP Odintsov","year":"2012","unstructured":"Odintsov, S. P., and E. I. Latkin, BK-lattices. Algebraic semantics for Belnapian modal logic, Studia Logica 100: 319\u2013338, 2012.","journal-title":"Algebraic semantics for Belnapian modal logic, Studia Logica"},{"issue":"1","key":"9925_CR23","first-page":"3","volume":"25","author":"SP Odintsov","year":"2016","unstructured":"Odintsov, S. P., and S. O. 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":"9925_CR24","doi-asserted-by":"publisher","unstructured":"Odintsov, S. P., and S. O. Speranski, Belnap-Dunn modal logics: truth constants vs. truth values, The Review of Symbolic Logic 2019. https:\/\/doi.org\/10.1017\/S1755020319000121.","DOI":"10.1017\/S1755020319000121"},{"issue":"3","key":"9925_CR25","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"SP Odintsov","year":"2017","unstructured":"Odintsov, S. P., and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20(3): 279\u2013301, 2017.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9925_CR26","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 Gr\u00fcndlagen der Mathematik 34: 343\u2013354, 1988.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Gr\u00fcndlagen der Mathematik"},{"key":"9925_CR27","doi-asserted-by":"crossref","unstructured":"Rivieccio, U., A. Jung, and R. Jansana, R., Four-valued modal logic: Kripke semantics and duality, Journal of Logic and Computation 27(1): 155\u2013199, 2015.","DOI":"10.1093\/logcom\/exv038"},{"key":"9925_CR28","first-page":"63","volume":"19","author":"PK Schotch","year":"1978","unstructured":"Schotch, P. K., J. B. Jensen, P. F. Larsen, and E. J. MacLellan, A note on three-valued modal logic, Notre Dame Journal of Formal Logic 19: 63\u201368, 1978.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9925_CR29","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":"9925_CR30","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF02124804","volume":"37","author":"SK Thomason","year":"1978","unstructured":"Thomason, S. K., Possible worlds and many truth values, Studia Logica 37: 195\u2013204, 1978.","journal-title":"Studia Logica"},{"key":"9925_CR31","unstructured":"van Benthem, J., Modal Correspondence Theory, Ph.D. thesis, University of Amsterdam, 1993."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09925-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09925-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09925-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T00:17:14Z","timestamp":1632961034000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09925-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,30]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9925"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09925-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,9,30]]},"assertion":[{"value":"6 March 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 September 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 July 2021","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The DOI URL in the reference [24] was incorrectly published. It has been corrected from https:\/\/doi.org\/10.1017\/s17550203119000121 to https:\/\/doi.org\/10.1017S1755020319000121.","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}