{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:02:19Z","timestamp":1759334539779,"version":"build-2065373602"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T00:00:00Z","timestamp":1721001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T00:00:00Z","timestamp":1721001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDB\/50008\/2020"],"award-info":[{"award-number":["UIDB\/50008\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1007\/s11225-024-10132-2","type":"journal-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T04:03:58Z","timestamp":1721016238000},"page":"1401-1435","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5137-5350","authenticated-orcid":false,"given":"Jaime","family":"Ramos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1239-8496","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Rasga","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5510-3512","authenticated-orcid":false,"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,15]]},"reference":[{"key":"10132_CR1","unstructured":"Adams, E. W., A Primer of Probability Logic, CSLI, 1998."},{"issue":"1","key":"10132_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1093\/logcom\/exaa003","volume":"30","author":"S Artemov","year":"2020","unstructured":"Artemov, S., On aggregating probabilistic evidence, Journal of Logic and Computation 30(1):61\u201376, 2020.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"10132_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., and I.\u00a0Lev, Non-deterministic multiple-valued structures, Journal of Logic and Computation 15(3):241\u2013261, 2005.","journal-title":"Journal of Logic and Computation"},{"key":"10132_CR4","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":"ND Belnap","year":"1977","unstructured":"Belnap, N.\u00a0D., A useful four-valued logic, in J.\u00a0M. Dunn, and G.\u00a0Epstein, (eds.),  Modern Uses of Multiple-Valued Logic, Springer, 1977, pp. 5\u201337."},{"key":"10132_CR5","volume-title":"Probability and Measure","author":"P Billingsley","year":"2012","unstructured":"Billingsley, P., Probability and Measure, 3rd edition, Wiley, Hoboken, 2012.","edition":"3"},{"key":"10132_CR6","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.ijar.2017.11.012","volume":"93","author":"F Bobillo","year":"2018","unstructured":"Bobillo, F., K. J. Laskey, T.\u00a0Martin, and M. Nickles, Special issue on \u201cuncertainty reasoning for the web\u201d, International Journal of Approximate Reasoning 93:327\u2013329, 2018.","journal-title":"International Journal of Approximate Reasoning"},{"key":"10132_CR7","doi-asserted-by":"crossref","unstructured":"Bolc, L., and P.\u00a0Borowik,  Many-Valued Logics, vol. 1, Springer, 1992.","DOI":"10.1007\/978-3-662-08494-6_1"},{"key":"10132_CR8","doi-asserted-by":"crossref","unstructured":"Boole, G., An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities, Walton and Maberly, 1854.","DOI":"10.5962\/bhl.title.29413"},{"issue":"9","key":"10132_CR9","doi-asserted-by":"publisher","first-page":"325","DOI":"10.3390\/e18090325","volume":"18","author":"J Bueno-Soler","year":"2016","unstructured":"Bueno-Soler, J., and W.\u00a0Carnielli, Paraconsistent probabilities: consistency, contradictions and Bayes\u2019 theorem, Entropy 18(9):325, 2016.","journal-title":"Entropy"},{"key":"10132_CR10","volume-title":"Paraconsistent Logic: Consistency","author":"W Carnielli","year":"2016","unstructured":"Carnielli, W., and M.\u00a0Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation, Springer, 2016."},{"key":"10132_CR11","unstructured":"Carnielli, W.\u00a0A., and J.\u00a0Bueno-Soler, Paraconsistent probabilities, their significance and their uses, in Logic and Computation, College Publications, London, 2017, pp. 197\u2013229."},{"key":"10132_CR12","doi-asserted-by":"crossref","unstructured":"Carnielli, W.\u00a0A., M.\u00a0E. Coniglio, and J.\u00a0Marcos, Logics of formal inconsistency, in D.\u00a0Gabbay, and F.\u00a0Guenthner, (eds.), Handbook of Philosophical Logic, vol.\u00a014, 2nd edition, Kluwer Academic Publishers, 2007.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"issue":"2","key":"10132_CR13","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/BF01049260","volume":"22","author":"CB Cross","year":"1993","unstructured":"Cross, C.\u00a0B., From worlds to probabilities: a probabilistic semantics for modal logic, Journal of Philosophical Logic 22(2):169\u2013192, 1993.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"10132_CR14","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1093\/logcom\/exn014","volume":"18","author":"L Cruz-Filipe","year":"2008","unstructured":"Cruz-Filipe, L., J. Rasga, A. Sernadas, and C. Sernadas, A complete axiomatization of discrete-measure almost-everywhere quantification, Journal of Logic and Computation 18(6):885\u2013911, 2008.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"10132_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0933-3657(89)90031-6","volume":"1","author":"N da Costa","year":"1989","unstructured":"da\u00a0Costa, N., and V.\u00a0Subrahmanian, Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases, Artificial Intelligence in Medicine 1(4):167\u2013174, 1989.","journal-title":"Artificial Intelligence in Medicine"},{"key":"10132_CR16","unstructured":"De Morgan, A., Formal Logic, Taylor and Walton, 1847."},{"issue":"3","key":"10132_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"M Dunn","year":"1976","unstructured":"Dunn, M., Intuitive semantics for first-degree entailment and \u201ccoupled trees\u201d, Philosophical Studies 29(3):149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"issue":"2","key":"10132_CR18","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R Fagin","year":"1994","unstructured":"Fagin, R., and J.\u00a0Y. Halpern, Reasoning about knowledge and probability, Journal of the Association for Computing Machinery 41(2):340\u2013367, 1994.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"4","key":"10132_CR19","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BF00370648","volume":"46","author":"M Fattorosi-Barnaba","year":"1987","unstructured":"Fattorosi-Barnaba, M., and G. Amati, Modal operators with probabilistic interpretations, I, Studia Logica 46(4):383\u2013393, 1987.","journal-title":"Studia Logica"},{"issue":"3","key":"10132_CR20","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.\u00a0M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5(3):413\u2013440, 1997.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"10132_CR21","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","volume":"25","author":"T Hailperin","year":"1984","unstructured":"Hailperin, T., Probability logic, Notre Dame J. Formal Logic 25(3):198\u2013212, 1984.","journal-title":"Notre Dame J. Formal Logic"},{"key":"10132_CR22","unstructured":"Hailperin, T., Sentential Probability Logic, Lehigh University Press, 1996."},{"key":"10132_CR23","doi-asserted-by":"crossref","unstructured":"Hailperin, T., Logic with a Probability Semantics, Lehigh University Press, 2011.","DOI":"10.5771\/9781611460117"},{"key":"10132_CR24","doi-asserted-by":"crossref","unstructured":"Halpern, J.\u00a0Y., Reasoning About Uncertainty, second edition, MIT Press, 2017.","DOI":"10.7551\/mitpress\/10951.001.0001"},{"key":"10132_CR25","unstructured":"Kanungo, D., Probabilistic Machine Learning for Finance and Investing, O\u2019Reilly Media, 2023."},{"key":"10132_CR26","doi-asserted-by":"crossref","unstructured":"Keisler, H.\u00a0J., Probability quantifiers, in Model-Theoretic Logics, Perspectives in Mathematical Logic, Springer, 1985, pp. 509\u2013556.","DOI":"10.1017\/9781316717158.021"},{"issue":"4","key":"10132_CR27","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.2178\/jsl\/1254748683","volume":"74","author":"HJ Keisler","year":"2009","unstructured":"Keisler, H.\u00a0J., and W.\u00a0B. Lotfallah, Almost everywhere elimination of probability quantifiers, Journal of Symbolic Logic 74(4):1121\u20131142, 2009.","journal-title":"Journal of Symbolic Logic"},{"issue":"12","key":"10132_CR28","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.1016\/j.apal.2012.04.001","volume":"163","author":"T Lando","year":"2012","unstructured":"Lando, T., Dynamic measure logic, Annals of Pure and Applied Logic 163(12):1719\u20131737, 2012.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10132_CR29","unstructured":"Lando, T., Probabilistic Semantics for Modal Logic, ProQuest LLC, Ann Arbor, MI, Ph.D. thesis, University of California, Berkeley, 2012."},{"key":"10132_CR30","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-94-009-7066-3_3","volume-title":"Handbook of Philosophical Logic","author":"H Leblanc","year":"1983","unstructured":"Leblanc, H., Alternatives to standard first-order semantics, in D.\u00a0M. Gabbay, and F.\u00a0Guenthner, (eds.), Handbook of Philosophical Logic, Springer, 1983, pp. 189\u2013274."},{"key":"10132_CR31","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/B978-0-12-804600-5.00011-8","volume-title":"Rationality","author":"H Lin","year":"2017","unstructured":"Lin, H., Bridging the logic-based and probability-based approaches to artificial intelligence, in T.-W. Hung, and T.J. Lane, (eds.), Rationality, Academic Press, 2017, pp. 215\u2013225."},{"issue":"8","key":"10132_CR32","doi-asserted-by":"publisher","first-page":"1720","DOI":"10.1093\/logcom\/exac074","volume":"32","author":"E Moore","year":"2022","unstructured":"Moore, E., Soundness and completeness results for LEA and probability semantics, Journal of Logic and Computation 32(8):1720\u20131746, 2022.","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"10132_CR33","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/BF00284978","volume":"11","author":"CG Morgan","year":"1982","unstructured":"Morgan, C.\u00a0G., There is a probabilistic semantics for every extension of classical sentence logic, Journal of Philosophical Logic 11(4):431\u2013442, 1982.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"10132_CR34","first-page":"161","volume":"24","author":"CG Morgan","year":"1983","unstructured":"Morgan, C.\u00a0G., and H.\u00a0Leblanc, Probabilistic semantics for intuitionistic logic, Notre Dame Journal of Formal Logic 24(2):161\u2013180, 1983.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"10132_CR35","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.\u00a0J., Probabilistic logic, Artificial Intelligence 28(1):71\u201387, 1986.","journal-title":"Artificial Intelligence"},{"key":"10132_CR36","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z Ognjanovic","year":"2000","unstructured":"Ognjanovic, Z., and M.\u00a0Raskovic, Some first-order probability logics, Theoretical Computer Science 247:191\u2013212, 2000.","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"10132_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.\u00a0Wansing, 40 years of FDE: an introductory overview, Studia Logica 105(6):1021\u20131049, 2017.","journal-title":"Studia Logica"},{"key":"10132_CR38","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-0-387-21721-5_3","volume-title":"Medical Informatics: Computer Applications in Health Care and Biomedicine","author":"DK Owens","year":"2001","unstructured":"Owens, D.\u00a0K., and H.\u00a0C. Sox, Medical decision-making: Probabilistic medical reasoning, in E.\u00a0H. Shortliffe, and L.\u00a0E. Perreault, (eds.), Medical Informatics: Computer Applications in Health Care and Biomedicine, Springer, 2001, pp. 76\u2013131."},{"issue":"3","key":"10132_CR39","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.2307\/2586724","volume":"63","author":"J Paris","year":"1998","unstructured":"Paris, J., and A.\u00a0Vencovsk\u00e1, Proof systems for probabilistic uncertain reasoning, The Journal of Symbolic Logic 63(3):1007\u20131039, 1998.","journal-title":"The Journal of Symbolic Logic"},{"key":"10132_CR40","doi-asserted-by":"crossref","unstructured":"Prakken, H., Logical Tools for Modelling Legal Argument, Springer, 1997.","DOI":"10.1007\/978-94-015-8975-8"},{"issue":"4\u20135","key":"10132_CR41","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1002\/malq.201110051","volume":"59","author":"J Rasga","year":"2013","unstructured":"Rasga, J., W.\u00a0Lotfallah, and C.\u00a0Sernadas, Completeness and interpolation of almost-everywhere quantification over finitely additive measures, Mathematical Logic Quarterly 59(4\u20135):286\u2013302, 2013.","journal-title":"Mathematical Logic Quarterly"},{"issue":"suppl. 22","key":"10132_CR42","doi-asserted-by":"publisher","first-page":"S5451","DOI":"10.1007\/s11229-020-02571-w","volume":"198","author":"A Rodrigues","year":"2021","unstructured":"Rodrigues, A., J.\u00a0Bueno-Soler, and W.\u00a0Carnielli, Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic, Synthese 198(suppl. 22):S5451\u2013S5480, 2021.","journal-title":"Synthese"},{"issue":"4","key":"10132_CR43","doi-asserted-by":"publisher","first-page":"267","DOI":"10.4171\/pm\/2007","volume":"74","author":"A Sernadas","year":"2017","unstructured":"Sernadas, A., J.\u00a0Rasga, and C.\u00a0Sernadas, On probability and logic, Portugaliae Mathematica 74(4):267\u2013313, 2017.","journal-title":"Portugaliae Mathematica"},{"key":"10132_CR44","doi-asserted-by":"crossref","unstructured":"van Fraassen, B.\u00a0C., Probabilistic semantics objectified. I. Postulates and logics, Journal of Philosophical Logic 10(3):371\u2013394, 1981.","DOI":"10.1007\/BF00293429"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10132-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10132-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10132-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T17:44:36Z","timestamp":1759254276000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10132-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,15]]},"references-count":44,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["10132"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10132-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,7,15]]},"assertion":[{"value":"4 April 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}