{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:38:35Z","timestamp":1759333115962},"reference-count":47,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T00:00:00Z","timestamp":1659916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Recently, several logics modelling evidence have been proposed in the literature. These logics often also feature beliefs. We call the process or function that maps evidence to beliefs consolidation. In this paper, we use a four-valued modal logic of evidence as a basis. In the models for this logic, agents are represented by nodes, peer connections by edges and the private evidence that each agent has by a four-valued valuation. From this basis, we propose methods of consolidating the beliefs of the agents, taking into account both their private evidence as well as their peers\u2019 opinions. To this end, beliefs are computed iteratively. The final consolidated beliefs are the ones in the point of stabilization of the model. However, it turns out that some consolidation policies will not stabilize for certain models. Finding the conditions for stabilization is one of the main problems studied here, along with other properties of such consolidations. Our main contributions are twofold: we offer a new dynamic perspective on the process of forming evidence-based beliefs, in the context of evidence logics, and we set up and address some mathematically challenging problems, which are related to graph theory and practical subject areas such as belief\/opinion diffusion and contagion in multi-agent networks.<\/jats:p>","DOI":"10.1093\/logcom\/exac030","type":"journal-article","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T08:48:21Z","timestamp":1659948501000},"page":"1142-1161","source":"Crossref","is-referenced-by-count":1,"title":["Iterative social consolidations: Forming beliefs from many-valued evidence and peers\u2019 opinions"],"prefix":"10.1093","volume":"32","author":[{"given":"Yuri","family":"David Santos","sequence":"first","affiliation":[{"name":"Department of Theoretical Philosophy , University of Groningen, 9712 GL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barteld","family":"Kooi","sequence":"additional","affiliation":[{"name":"Department of Theoretical Philosophy , University of Groningen, 9712 GL, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rineke","family":"Verbrugge","sequence":"additional","affiliation":[{"name":"Department of Artificial Intelligence, University of Groningen , 9747 AG, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,8,8]]},"reference":[{"key":"2022122118550076400_ref1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"2022122118550076400_ref2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0168-0072(94)90007-8","article-title":"Logic of proofs","volume":"67","author":"Artemov","year":"1994","journal-title":"Annals of Pure and Applied Logic"},{"key":"2022122118550076400_ref3","article-title":"Operational modal logic","volume-title":"Technical Report MSI 95\u201329","author":"Artemov","year":"1995"},{"key":"2022122118550076400_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"Bulletin of Symbolic Logic"},{"key":"2022122118550076400_ref5","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-662-52921-8_6","article-title":"Justified belief and the topology of evidence","volume-title":"Logic, Language, Information, and Computation","author":"Baltag","year":"2016"},{"key":"2022122118550076400_ref6","article-title":"Dynamic epistemic logics of diffusion and prediction in social networks","volume-title":"Proceedings of the 12th Conference on Logic and the Foundations of Game and Decision Theory","author":"Baltag","year":"2016"},{"key":"2022122118550076400_ref7","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s11225-018-9804-x","article-title":"Dynamic epistemic logics of diffusion and prediction in social networks","volume":"107","author":"Baltag","year":"2019","journal-title":"Studia Logica"},{"key":"2022122118550076400_ref8","doi-asserted-by":"crossref","first-page":"797","DOI":"10.2307\/2118364","article-title":"A simple model of herd behavior","volume":"107","author":"Banerjee","year":"1992","journal-title":"The Quarterly Journal of Economics"},{"key":"2022122118550076400_ref9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","article-title":"A useful four-valued logic","volume-title":"Modern Uses of Multiple-valued Logic","author":"Belnap","year":"1977"},{"key":"2022122118550076400_ref10","doi-asserted-by":"crossref","first-page":"992","DOI":"10.1086\/261849","article-title":"A theory of fads, fashion, custom, and cultural change as informational cascades","volume":"100","author":"Bikhchandani","year":"1992","journal-title":"Journal of Political Economy"},{"key":"2022122118550076400_ref11","first-page":"68","article-title":"Uncertainty about evidence","volume-title":"Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17\u201319 July 2019","author":"Bjorndahl","year":"2019"},{"key":"2022122118550076400_ref12","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"2022122118550076400_ref13","first-page":"1","article-title":"An epistemic approach to paraconsistency: a logic of evidence and truth","volume-title":"Synthese","author":"Carnielli","year":"2017"},{"key":"2022122118550076400_ref14","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-662-55665-8_12","article-title":"Stability in binary opinion diffusion","volume-title":"Logic, Rationality, and Interaction","author":"Christoff","year":"2017"},{"key":"2022122118550076400_ref15","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","article-title":"A logic for diffusion in social networks","volume":"13","author":"Christoff","year":"2015","journal-title":"Journal of Applied Logic"},{"key":"2022122118550076400_ref16","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s11229-012-0215-7","article-title":"Exploring the tractability border in epistemic tasks","volume":"191","author":"D\u00e9gremont","year":"2014","journal-title":"Synthese"},{"key":"2022122118550076400_ref17","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2022122118550076400_ref18","doi-asserted-by":"crossref","DOI":"10.18564\/jasss.2178","article-title":"Put your money where your mouth is: DIAL, a dialogical model for opinion dynamics","volume":"16","author":"Dykstra","year":"2013","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"2022122118550076400_ref19","doi-asserted-by":"crossref","first-page":"290","DOI":"10.5486\/PMD.1959.6.3-4.12","article-title":"On random graphs I","volume":"6","author":"Erd\u030bs","year":"1959","journal-title":"Publicationes Mathematicae"},{"key":"2022122118550076400_ref20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","article-title":"The logic of proofs, semantically","volume":"132","author":"Fitting","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2022122118550076400_ref21","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1007\/s11225-017-9714-3","article-title":"Paraconsistent logic, evidence and justification","volume":"105","author":"Fitting","year":"2017","journal-title":"Studia Logica"},{"key":"2022122118550076400_ref22","article-title":"Propositional opinion diffusion","volume-title":"Proceedings of the 14th International Conference in Autonomous Agents and Multiagent Systems (AAMAS-2015)","author":"Grandi","year":"2015"},{"key":"2022122118550076400_ref23","volume-title":"Belief Base Dynamics","author":"Hansson","year":"1991"},{"key":"2022122118550076400_ref24","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","article-title":"Semi-revision","volume":"7","author":"Hansson","year":"1997","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2022122118550076400_ref25","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","article-title":"Logical dynamics of belief change in the community","volume":"191","author":"Liu","year":"2014","journal-title":"Synthese"},{"key":"2022122118550076400_ref26","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"2022122118550076400_ref27","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-63045-7_27","article-title":"Models for the logic of proofs","volume-title":"Logical Foundations of Computer Science","author":"Mkrtychev","year":"1997"},{"key":"2022122118550076400_ref28","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1017\/epi.2018.32","article-title":"Echo chambers and epistemic bubbles","volume":"17","author":"Nguyen","year":"2020","journal-title":"Episteme"},{"key":"2022122118550076400_ref29","volume-title":"Evidence in Epistemic Logic: A Topological Perspective","author":"\u00d6zg\u00fcn","year":"2017"},{"key":"2022122118550076400_ref30","article-title":"The pagerank citation ranking: bringing order to the web","volume-title":"Technical Report 1999\u201366","author":"Page","year":"1999"},{"key":"2022122118550076400_ref31","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"Priest","year":"2008"},{"key":"2022122118550076400_ref32","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-319-73579-5_5","article-title":"A dynamic informational-epistemic logic","volume-title":"Dynamic Logic. New Trends and Applications","author":"Santos","year":"2018"},{"key":"2022122118550076400_ref33","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-662-60292-8_5","article-title":"Consolidation of belief in two logics of evidence","volume-title":"International Conference on Logic, Rationality and Interaction (LORI)","author":"Santos","year":"2019"},{"key":"2022122118550076400_ref34","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s10849-020-09313-8","article-title":"A four-valued dynamic epistemic logic","volume":"29","author":"Santos","year":"2020","journal-title":"Journal of Logic, Language and Information"},{"key":"2022122118550076400_ref35","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-030-39951-1_4","article-title":"Social consolidations: rational belief in a many-valued logic of evidence and peerhood","volume-title":"Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17\u201321, 2020, Proceedings","author":"Santos","year":"2020"},{"key":"2022122118550076400_ref36","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-030-31136-0_17","article-title":"Modelling sources of inconsistent information in paraconsistent modal logic","volume-title":"New Essays on Belnap-Dunn Logic","author":"Sedl\u00e1r","year":"2019"},{"key":"2022122118550076400_ref37","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-3-662-57669-4_17","article-title":"Beliefs based on evidence and argumentation","volume-title":"Logic, Language, Information, and Computation","author":"Shi","year":"2018"},{"key":"2022122118550076400_ref38","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1080\/11663081.2018.1457254","article-title":"Beliefs supported by binary arguments","volume":"28","author":"Shi","year":"2018","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2022122118550076400_ref39","doi-asserted-by":"crossref","first-page":"339","DOI":"10.4324\/9781315643670-26","article-title":"Tractability and the computational mind","volume-title":"The Routledge Handbook of the Computational Mind","author":"Szymanik","year":"2018"},{"key":"2022122118550076400_ref40","first-page":"9","article-title":"Oscillations, logic, and dynamical systems","volume-title":"The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge","author":"van Benthem","year":"2015"},{"key":"2022122118550076400_ref41","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/j.apal.2013.07.007","article-title":"Evidence and plausibility in neighborhood structures","volume":"165","author":"van Benthem","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"2022122118550076400_ref42","first-page":"97","article-title":"Evidence logic: a new look at neighborhood structures","volume-title":"Advances in Modal Logic","author":"van Benthem","year":"2012"},{"key":"2022122118550076400_ref43","doi-asserted-by":"crossref","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic logics of evidence-based beliefs","author":"van Benthem","year":"2011"},{"key":"2022122118550076400_ref44","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic logics of evidence-based beliefs","volume":"99","author":"van Benthem","year":"2011","journal-title":"Studia Logica"},{"key":"2022122118550076400_ref45","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"2022122118550076400_ref46","first-page":"1","article-title":"Zero-one laws for provability logic: axiomatizing validity in almost all models and almost all frames","volume-title":"36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29\u2013July 2, 2021","author":"Verbrugge","year":"2021"},{"key":"2022122118550076400_ref47","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1177\/1470594X11416766","article-title":"Social network structure and the achievement of consensus","volume":"11","author":"Zollman","year":"2012","journal-title":"Politics, Philosophy & Economics"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1142\/48181461\/exac030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1142\/48181461\/exac030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T18:55:29Z","timestamp":1671648929000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/6\/1142\/6657656"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,8]]},"references-count":47,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,8,8]]},"published-print":{"date-parts":[[2022,9,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac030","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,9]]},"published":{"date-parts":[[2022,8,8]]}}}