{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:35:25Z","timestamp":1759332925156,"version":"build-2065373602"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T00:00:00Z","timestamp":1721174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T00:00:00Z","timestamp":1721174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["Vl.Veni.201F.032","024.004.022"],"award-info":[{"award-number":["Vl.Veni.201F.032","024.004.022"]}],"id":[{"id":"10.13039\/501100003246","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]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper introduces a comprehensive logical framework to reason about threshold-driven diffusion and threshold-driven link change in social networks. It considers both <jats:italic>monotonic dynamics<\/jats:italic>, where agents can only adopt new features and create new connections, and <jats:italic>non-monotonic dynamics<\/jats:italic>, where agents may also abandon features or cut ties. Three types of operators are combined: one capturing diffusion only, one capturing link change only, and one capturing both <jats:italic>at the same time<\/jats:italic>. We first characterise the models on which diffusion of a unique feature and link change stabilise, whilst discussing salient properties of stable models with multiple spreading features. Second, we show that our operators (and any combination of them) are irreplaceable, in the sense that the sequences of model updates expressed by a combination of operators cannot <jats:italic>always<\/jats:italic> be expressed using any other operators. Finally, we analyse classes of models on which some operators <jats:italic>can<\/jats:italic> be replaced.<\/jats:p>","DOI":"10.1007\/s11225-024-10126-0","type":"journal-article","created":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T11:01:57Z","timestamp":1721214117000},"page":"1245-1315","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Logics of Diffusion and Link Changes on Social Networks"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9966-1460","authenticated-orcid":false,"given":"Edoardo","family":"Baccini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zo\u00e9","family":"Christoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rineke","family":"Verbrugge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,17]]},"reference":[{"key":"10126_CR1","doi-asserted-by":"crossref","unstructured":"Acemoglu, D., M. A. Dahleh, I. Lobel, and A. Ozdaglar, Bayesian Learning in Social Networks, 02142, 2010.","DOI":"10.2139\/ssrn.1682248"},{"issue":"1","key":"10126_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s13235-010-0004-1","volume":"1","author":"D Acemoglu","year":"2011","unstructured":"Acemoglu, D., and A. Ozdaglar, Opinion dynamics and learning in social networks, Dynamic Games and Applications 1(1): 3\u201349, 2011. https:\/\/doi.org\/10.1007\/s13235-010-0004-1.","journal-title":"Dynamic Games and Applications"},{"issue":"1","key":"10126_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10614-005-6245-1","volume":"25","author":"F Alkemade","year":"2005","unstructured":"Alkemade, F., and C. Castaldi, Strategies for the diffusion of innovations on social networks, Computational Economics 25(1): 3\u201323, 2005. https:\/\/doi.org\/10.1007\/s10614-005-6245-1.","journal-title":"Computational Economics"},{"key":"10126_CR4","doi-asserted-by":"publisher","unstructured":"Alvim, M. S., B. Amorim, S. Knight, S. Quintero, and F. Valencia, A multi-agent model for polarization under confirmation bias in social networks, in K. Peters, and T. A. C. Willemse, (eds.), Formal Techniques for Distributed Objects, Components, And Systems, Springer, Cham, 2021, pp. 22\u201341. https:\/\/doi.org\/10.1007\/978-3-030-78089-0_2.","DOI":"10.1007\/978-3-030-78089-0_2"},{"issue":"1","key":"10126_CR5","first-page":"97","volume":"5","author":"S Azimipour","year":"2018","unstructured":"Azimipour, S., and P. Naumov, Lighthouse principle for diffusion in social networks, Journal of Applied Logic 5(1): 97\u2013120, 2018.","journal-title":"Journal of Applied Logic"},{"key":"10126_CR6","doi-asserted-by":"publisher","unstructured":"Baccini, E., and Z. Christoff, Comparing social network dynamic operators, in R. Verbrugge, (ed.), Proceedings Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge, Oxford, United Kingdom, 28-30th June 2023, vol. 379 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, Australia, 2023, pp. 66\u201381. https:\/\/doi.org\/10.4204\/EPTCS.379.8.","DOI":"10.4204\/EPTCS.379.8"},{"key":"10126_CR7","unstructured":"Baccini, E., Z. Christoff, and R. Verbrugge, Opinion diffusion in similarity-driven networks, in Proceedings of Logic and the Foundations of Game and Decision Theory (LOFT 14), 2022."},{"key":"10126_CR8","doi-asserted-by":"crossref","unstructured":"Bala, V., and S. Goyal, A noncooperative model of network formation, Econometrica 68(5): 1181\u20131229, 2000. Accessed 2023-09-15.","DOI":"10.1111\/1468-0262.00155"},{"key":"10126_CR9","doi-asserted-by":"publisher","unstructured":"Baltag, A., Z. Christoff, R. Kr\u00e6mmer\u00a0Rendsvig, and S. Smets, Dynamic epistemic logic of diffusion and prediction in social networks, Studia Logica 107, 2018. https:\/\/doi.org\/10.1007\/s11225-018-9804-x.","DOI":"10.1007\/s11225-018-9804-x"},{"issue":"3","key":"10126_CR10","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1093\/jigpal\/jzs049","volume":"21","author":"A Baltag","year":"2013","unstructured":"Baltag, A., and S. Smets, Protocols for belief merge: Reaching agreement via communication, Logic Journal of IGPL 21(3): 468\u2013487, 2013. https:\/\/doi.org\/10.1093\/jigpal\/jzs049.","journal-title":"Logic Journal of IGPL"},{"key":"10126_CR11","first-page":"9","volume-title":"The Facts Matter","author":"J Benthem","year":"2015","unstructured":"Benthem, J., Oscillations, logic, and dynamical systems, in S. Ghosh, and J. Szymanik, (eds.), The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge, College Publications, London, 2015, pp. 9\u201322."},{"key":"10126_CR12","unstructured":"Botan, S., U. Grandi, and L. Perrussel, Multi-issue opinion diffusion under constraints, in 18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), 2019, pp. 828\u2013836."},{"issue":"5","key":"10126_CR13","doi-asserted-by":"publisher","first-page":"1754","DOI":"10.1016\/j.jet.2012.05.007","volume":"147","author":"Y Bramoull\u00e9","year":"2012","unstructured":"Bramoull\u00e9, Y., S. Currarini, M. O. Jackson, P. Pin, and B. W. Rogers, Homophily and long-run integration in social networks, Journal of Economic Theory 147(5): 1754\u20131786, 2012. https:\/\/doi.org\/10.1016\/j.jet.2012.05.007.","journal-title":"Journal of Economic Theory"},{"key":"10126_CR14","volume-title":"The Philosophy of Group Polarization: Epistemology, Metaphysics","author":"JA Carter","year":"2021","unstructured":"Carter, J. A., and F. Broncano-Berrocal, The Philosophy of Group Polarization: Epistemology, Metaphysics, Psychology, Routledge, New York, NY, 2021."},{"issue":"5","key":"10126_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1037\/h0046049","volume":"63","author":"D Cartwright","year":"1956","unstructured":"Cartwright, D., and F. Harary, Structural balance: A generalization of Heider\u2019s theory, Psychological review 63(5): 277, 1956.","journal-title":"Psychological review"},{"key":"10126_CR16","doi-asserted-by":"publisher","unstructured":"Christoff, Z., and D. Grossi, Stability in binary opinion diffusion, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11\u201314, 2017, Proceedings, Springer, Berlin, Heidelberg, 2017, pp. 166\u2013180. https:\/\/doi.org\/10.1007\/978-3-662-55665-8_12.","DOI":"10.1007\/978-3-662-55665-8_12"},{"issue":"1","key":"10126_CR17","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","volume":"13","author":"Z Christoff","year":"2015","unstructured":"Christoff, Z., and J. U. Hansen, A logic for diffusion in social networks, Journal of Applied Logic 13(1): 48\u201377, 2015. https:\/\/doi.org\/10.1016\/j.jal.2014.11.011.","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"10126_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1093\/logcom\/exy037","volume":"29","author":"Z Christoff","year":"2019","unstructured":"Christoff, Z., and P. Naumov, Diffusion in social networks with recalcitrant agents, Journal of Logic and Computation 29(1): 53\u201370, 2019. https:\/\/doi.org\/10.1093\/logcom\/exy037.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"10126_CR19","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s10849-016-9242-y","volume":"25","author":"Z Christoff","year":"2016","unstructured":"Christoff, Z., J. U. Hansen, and C. Proietti, Reflecting on social influence in networks, Journal of Logic, Language and Information 25(3): 299\u2013333, 2016.","journal-title":"Journal of Logic, Language and Information"},{"key":"10126_CR20","doi-asserted-by":"publisher","unstructured":"David Santos, Y., B. Kooi, and R. Verbrugge, Iterative social consolidations: Forming beliefs from many-valued evidence and peers\u2019 opinions, Journal of Logic and Computation 32(6): 1142\u20131161, 2022. https:\/\/doi.org\/10.1093\/logcom\/exac030https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1142\/48181461\/exac030.pdf.","DOI":"10.1093\/logcom\/exac030"},{"issue":"345","key":"10126_CR21","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1080\/01621459.1974.10480137","volume":"69","author":"MH DeGroot","year":"1974","unstructured":"DeGroot, M. H., Reaching a consensus, Journal of the American Statistical Association 69(345): 118\u2013121, 1974.","journal-title":"Journal of the American Statistical Association"},{"key":"10126_CR22","doi-asserted-by":"publisher","unstructured":"Ditmarsch, H., W. Hoek, and B. Kooi, Dynamic Epistemic Logic, vol. 337 of Synthese Library Series, Springer, Cham, 2007. https:\/\/doi.org\/10.1007\/978-1-4020-5839-4.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"10126_CR23","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.218701","volume":"92","author":"PS Dodds","year":"2004","unstructured":"Dodds, P. S., and D. J. Watts, Universal behavior in a generalized model of contagion, Phys. Rev. Lett. 92: 218701, 2004. https:\/\/doi.org\/10.1103\/PhysRevLett.92.218701.","journal-title":"Phys. Rev. Lett."},{"key":"10126_CR24","doi-asserted-by":"publisher","unstructured":"Douven, I., and R. Hegselmann, Network effects in a bounded confidence model, Studies in History and Philosophy of Science 94: 56\u201371, 2022. https:\/\/doi.org\/10.1016\/j.shpsa.2022.05.002 . Accessed 2023-09-15.","DOI":"10.1016\/j.shpsa.2022.05.002"},{"key":"10126_CR25","doi-asserted-by":"publisher","unstructured":"Easley, D., and J. Kleinberg, Networks, Crowds, and Markets: Reasoning About a Highly Connected World, Cambridge University Press, New York, USA, 2010. https:\/\/doi.org\/10.1017\/CBO9780511761942.","DOI":"10.1017\/CBO9780511761942"},{"issue":"1","key":"10126_CR26","doi-asserted-by":"publisher","first-page":"50","DOI":"10.2307\/2272945","volume":"41","author":"R Fagin","year":"1976","unstructured":"Fagin, R., Probabilities on finite models, The Journal of Symbolic Logic 41(1): 50\u201358, 1976.","journal-title":"The Journal of Symbolic Logic"},{"issue":"6","key":"10126_CR27","doi-asserted-by":"publisher","first-page":"1212","DOI":"10.1093\/logcom\/exac024","volume":"32","author":"S Fern\u00e1ndez Gonz\u00e1lez","year":"2022","unstructured":"Fern\u00e1ndez\u00a0Gonz\u00e1lez, S., Change in social networks: Some dynamic extensions of Social Epistemic Logic, Journal of Logic and Computation 32(6): 1212\u20131233, 2022. https:\/\/doi.org\/10.1093\/logcom\/exac024.","journal-title":"Journal of Logic and Computation"},{"key":"10126_CR28","doi-asserted-by":"publisher","unstructured":"Flache, A., M. M\u00e4s, T. Feliciani, E. Chattoe-Brown, G. Deffuant, S. Huet, and J. Lorenz, Models of social influence: Towards the next frontiers, Journal of Artificial Societies and Social Simulation 20(4): 2, 2017. https:\/\/doi.org\/10.18564\/jasss.3521.","DOI":"10.18564\/jasss.3521"},{"key":"10126_CR29","doi-asserted-by":"publisher","unstructured":"Franke, M., and R. Rooij, Strategies of persuasion, manipulation and propaganda: Psychological and social aspects, in J. Benthem, S. Ghosh, and R. Verbrugge, (eds.) Models of Strategic Reasoning - Logics, Games, and Communities, vol. 8972 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2015, pp. 255\u2013291. https:\/\/doi.org\/10.1007\/978-3-662-48540-8_8.","DOI":"10.1007\/978-3-662-48540-8_8"},{"issue":"3","key":"10126_CR30","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1037\/h0046123","volume":"63","author":"JR French Jr","year":"1956","unstructured":"French Jr, J. R., A formal theory of social power, Psychological Review 63(3): 181, 1956.","journal-title":"Psychological review"},{"key":"10126_CR31","first-page":"239","volume-title":"Advances in Modal Logic","author":"P Girard","year":"2012","unstructured":"Girard, P., J. Seligman, and F. Liu, General dynamic dynamic logic, in T. Bolander, T. Brauner, S. Ghilardi, and L. Moss, (eds.), Advances in Modal Logic, Volume 9, College Publications, London, 2012, pp. 239\u2013260."},{"key":"10126_CR32","unstructured":"Grandi, U., Social choice and social networks, in Trends in Computational Social Choice, AI Access, University of Amsterdam, 2017, pp. 169\u2013184. http:\/\/publications.ut-capitole.fr\/28307\/."},{"key":"10126_CR33","unstructured":"Grandi, U., E. Lorini, and L. Perrussel, Propositional opinion diffusion, in Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS \u201915, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2015, pp. 989\u2013997. http:\/\/dl.acm.org\/citation.cfm?id=2772879.2773278."},{"key":"10126_CR34","doi-asserted-by":"publisher","unstructured":"Grandi, U., E. Lorini, A. Novaro, and L. Perrussel, Games of influence, Journal of Logic and Computation 31(4): 1129\u20131157, 2021. https:\/\/doi.org\/10.1093\/logcom\/exaa088. eprint: https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/4\/1129\/39536200\/exaa088.pdf.","DOI":"10.1093\/logcom\/exaa088"},{"issue":"6","key":"10126_CR35","doi-asserted-by":"publisher","first-page":"1420","DOI":"10.1086\/226707","volume":"83","author":"M Granovetter","year":"1978","unstructured":"Granovetter, M., Threshold models of collective behavior, American Journal of Sociology 83(6): 1420\u20131443, 1978. https:\/\/doi.org\/10.1086\/226707.","journal-title":"American Journal of Sociology"},{"key":"10126_CR36","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.jpubeco.2016.08.011","volume":"143","author":"Y Halberstam","year":"2016","unstructured":"Halberstam, Y., and B. Knight, Homophily, group size, and the diffusion of political information in social networks: Evidence from Twitter, Journal of Public Economics 143: 73\u201388, 2016. https:\/\/doi.org\/10.1016\/j.jpubeco.2016.08.011.","journal-title":"Journal of Public Economics"},{"issue":"3","key":"10126_CR37","first-page":"2","volume":"5","author":"R Hegselmann","year":"2002","unstructured":"Hegselmann, R., and U. Krause, Opinion dynamics and bounded confidence models, analysis and simulation, Journal of Artificial Societies and Social Simulation 5(3): 2, 2002.","journal-title":"Journal of Artificial Societies and Social Simulation"},{"issue":"1","key":"10126_CR38","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/00223980.1946.9917275","volume":"21","author":"F Heider","year":"1946","unstructured":"Heider, F., Attitudes and cognitive organization, The Journal of psychology 21(1): 107\u2013112, 1946.","journal-title":"The Journal of psychology"},{"key":"10126_CR39","doi-asserted-by":"publisher","unstructured":"Hoek, W., L. Kuijer, and Y. W\u00e1ng, Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory, in Proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems, 2020, pp. 210\u2013216. https:\/\/doi.org\/10.24963\/ijcai.2020\/30.","DOI":"10.24963\/ijcai.2020\/30"},{"issue":"2","key":"10126_CR40","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10849-022-09356-z","volume":"31","author":"W Hoek","year":"2022","unstructured":"Hoek, W., L. B. Kuijer, and Y. N. W\u00e1ng, Who Should Be My Friends? Social Balance from the Perspective of Game Theory, Journal of Logic, Language and Information 31(2): 189\u2013211, 2022. https:\/\/doi.org\/10.1007\/s10849-022-09356-z.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"10126_CR41","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s11192-021-04227-z","volume":"127","author":"H Horta","year":"2022","unstructured":"Horta, H., S. Feng, and J. M. Santos, Homophily in higher education research: a perspective based on co-authorships, Scientometrics 127(1): 523\u2013543, 2022. https:\/\/doi.org\/10.1007\/s11192-021-04227-z.","journal-title":"Scientometrics"},{"key":"10126_CR42","doi-asserted-by":"publisher","unstructured":"Kempe, D., J. Kleinberg, and E. Tardos, Maximizing the spread of influence through a social network, in Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. KDD \u201903, Association for Computing Machinery, New York, NY, USA, 2003, pp. 137\u2013146. https:\/\/doi.org\/10.1145\/956750.956769.","DOI":"10.1145\/956750.956769"},{"key":"10126_CR43","first-page":"1127","volume-title":"Automata","author":"D Kempe","year":"2005","unstructured":"Kempe, D., J. Kleinberg, and \u00c9. Tardos, Influential nodes in a diffusion model for social networks, in: L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi, and M. Yung, (eds.), Automata, Languages and Programming, Springer, Berlin, Heidelberg 2005, pp. 1127\u20131138."},{"key":"10126_CR44","doi-asserted-by":"publisher","unstructured":"Kooi, B., and B. Renne, Generalized arrow update logic, in Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. TARK XIII, Association for Computing Machinery, New York, NY, USA 2011, pp. 205\u2013211. https:\/\/doi.org\/10.1145\/2000378.2000403.","DOI":"10.1145\/2000378.2000403"},{"issue":"2","key":"10126_CR45","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B Kooi","year":"2007","unstructured":"Kooi, B., Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics 17(2): 231\u2013253, 2007. https:\/\/doi.org\/10.3166\/jancl.17.231-253.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"10126_CR46","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1086\/712817","volume":"88","author":"T LaCroix","year":"2021","unstructured":"LaCroix, T., A. Geil, and C. O\u2019Connor, The dynamics of retraction in epistemic networks, Philosophy of Science 88(3): 415\u2013438, 2021.","journal-title":"Philosophy of Science"},{"key":"10126_CR47","unstructured":"Lehrer, K., and C. Wagner, Rational Consensus in Science and Society: a Philosophical and Mathematical Study, vol. 24 of Philosophical Studies Series in Philosophy, D. Reidel Publishing Company, Dordrecht, Holland, 1981."},{"issue":"3","key":"10126_CR48","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2307\/2214612","volume":"10","author":"K Lehrer","year":"1976","unstructured":"Lehrer, K., When rational disagreement is impossible, No\u00fbs 10(3): 327\u2013332, 1976.","journal-title":"No\u00fbs"},{"issue":"11","key":"10126_CR49","doi-asserted-by":"publisher","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","volume":"191","author":"F Liu","year":"2014","unstructured":"Liu, F., J. Seligman, and P. Girard, Logical dynamics of belief change in the community, Synthese 191(11): 2403\u20132431, 2014. https:\/\/doi.org\/10.1007\/s11229-014-0432-3.","journal-title":"Synthese"},{"issue":"1","key":"10126_CR50","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s11625-020-00860-4","volume":"16","author":"B Locatelli","year":"2021","unstructured":"Locatelli, B., A. Vallet, J. Tassin, D. Gautier, A. Chamaret, and P. Sist, Collective and individual interdisciplinarity in a sustainability research group: A social network analysis, Sustainability Science 16(1): 37\u201352, 2021. https:\/\/doi.org\/10.1007\/s11625-020-00860-4.","journal-title":"Sustainability Science"},{"issue":"1","key":"10126_CR51","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1111\/ajps.12089","volume":"59","author":"L Mason","year":"2015","unstructured":"Mason, L., \u201cI disrespectfully agree\u201d: The differential effects of partisan sorting on social and issue polarization, American Journal of Political Science 59(1): 128\u2013145, 2015.","journal-title":"American Journal of Political Science"},{"key":"10126_CR52","doi-asserted-by":"publisher","unstructured":"Mauleon, A., and V. Vannetelbosch, Network formation games, in The Oxford Handbook of the Economics of Networks, Oxford University Press, Oxford, 2016. https:\/\/doi.org\/10.1093\/oxfordhb\/9780199948277.013.5.","DOI":"10.1093\/oxfordhb\/9780199948277.013.5"},{"key":"10126_CR53","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1146\/annurev.soc.27.1.415","volume":"27","author":"M McPherson","year":"2001","unstructured":"McPherson, M., L. Smith-Lovin, J. M. Cook, Birds of a feather: Homophily in social networks, Annual Review of Sociology 27: 415\u2013444, 2001.","journal-title":"Annual Review of Sociology"},{"key":"10126_CR54","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1111\/1467-937X.00121","volume":"67","author":"S Morris","year":"2000","unstructured":"Morris, S., Contagion, Review of Economic Studies 67: 57\u201378, 2000.","journal-title":"Review of Economic Studies"},{"key":"10126_CR55","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199206650.001.0001","volume-title":"Networks: An Introduction","author":"M Newman","year":"2010","unstructured":"Newman, M., Networks: An Introduction, Oxford University Press, Oxford, 2010."},{"key":"10126_CR56","doi-asserted-by":"publisher","unstructured":"Pedersen, T., and M. Slavkovik, Formal models of conflicting social influence, in B. An, A. Bazzan, J. Leite, S. Villata, and L. Torre, (eds.), PRIMA 2017: Principles and Practice of Multi-Agent Systems, Springer, Cham, 2017, pp. 349\u2013365. https:\/\/doi.org\/10.1007\/978-3-319-69131-2_21.","DOI":"10.1007\/978-3-319-69131-2_21"},{"key":"10126_CR57","doi-asserted-by":"crossref","unstructured":"Proskurnikov, A. V., and R. Tempo, A tutorial on modeling and analysis of dynamic social networks. Part ii, Annual Reviews in Control 45: 166\u2013190, 2018.","DOI":"10.1016\/j.arcontrol.2018.03.005"},{"key":"10126_CR58","doi-asserted-by":"crossref","unstructured":"Proskurnikov, A. V., and R. Tempo, A tutorial on modeling and analysis of dynamic social networks. Part I, Annual Reviews in Control 43: 65\u201379, 2017.","DOI":"10.1016\/j.arcontrol.2017.03.002"},{"key":"10126_CR59","doi-asserted-by":"publisher","unstructured":"Ruan, J., and M. Thielscher, A logic for knowledge flow in social networks, in D. Wang, and M. Reynolds, (eds.), AI 2011: Advances in Artificial Intelligence, vol. 7106 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2011, pp. 511\u2013520. https:\/\/doi.org\/10.1007\/978-3-642-25832-9_52.","DOI":"10.1007\/978-3-642-25832-9_52"},{"issue":"3","key":"10126_CR60","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1086\/697744","volume":"85","author":"H Rubin","year":"2018","unstructured":"Rubin, H., and C. O\u2019Connor, Discrimination and collaboration in science, Philosophy of Science 85(3): 380\u2013402, 2018. https:\/\/doi.org\/10.1086\/697744","journal-title":"Philosophy of Science"},{"issue":"4","key":"10126_CR61","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10849-020-09313-8","volume":"29","author":"YD Santos","year":"2020","unstructured":"Santos, Y. D., A four-valued dynamic epistemic logic, Journal of Logic, Language and Information 29(4): 451\u2013489, 2020.","journal-title":"Journal of Logic, Language and Information"},{"key":"10126_CR62","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/0022250X.1971.9989794","volume":"1","author":"T Schelling","year":"1972","unstructured":"Schelling, T., Dynamic models of segregation, Journal of Mathematical Sociology 1: 143\u2013186, 1972.","journal-title":"Journal of Mathematical Sociology"},{"key":"10126_CR63","volume-title":"Micromotives and Macrobehavior","author":"TC Schelling","year":"1978","unstructured":"Schelling, T. C., Micromotives and Macrobehavior, Norton, New York, 1978."},{"key":"10126_CR64","unstructured":"Seligman, J., F. Liu, and P. Girard, Facebook and the epistemic logic of friendship, in B. C. Schipper, (ed.), Proceedings of the 14th Conference on Theoretical Aspects of Reasoning About Knowledge. TARK 2013, 2013, pp. 207\u2013222."},{"key":"10126_CR65","doi-asserted-by":"publisher","unstructured":"Seligman, J., F. Liu, and P. Girard, Logic in the community, in M. Banerjee, and A. Seth, (eds.), Logic and Its Applications, vol. 6521 of Lecture Notes in Computer Science, Springer, Cham, 2011, pp. 178\u2013188. https:\/\/doi.org\/10.1007\/978-3-642-18026-2_15.","DOI":"10.1007\/978-3-642-18026-2_15"},{"key":"10126_CR66","doi-asserted-by":"publisher","unstructured":"Smets, S., and F. R. Vel\u00e1zquez-Quesada, A logical analysis of the interplay between social influence and friendship selection, in L. Soares Barbosa, and A. Baltag, (eds.) Dynamic Logic. New Trends and Applications, Springer, Cham 2020, pp. 71\u201387. https:\/\/doi.org\/10.1007\/978-3-030-38808-9_5.","DOI":"10.1007\/978-3-030-38808-9_5"},{"key":"10126_CR67","doi-asserted-by":"publisher","unstructured":"Smets, S., and F. R. Vel\u00e1zquez-Quesada, How to make friends: A logical approach to social group creation, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction, Springer, Berlin, Heidelberg, 2017, pp. 377\u2013390. https:\/\/doi.org\/10.1007\/978-3-662-55665-8_26","DOI":"10.1007\/978-3-662-55665-8_26"},{"key":"10126_CR68","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.jlamp.2019.05.003","volume":"106","author":"S Smets","year":"2019","unstructured":"Smets, S., and F. R. Vel\u00e1zquez-Quesada, A logical study of group-size based social network creation, Journal of Logical and Algebraic Methods in Programming 106: 117\u2013140, 2019. https:\/\/doi.org\/10.1016\/j.jlamp.2019.05.003.","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"issue":"1","key":"10126_CR69","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10849-019-09311-5","volume":"29","author":"S Smets","year":"2020","unstructured":"Smets, S., and F. R. Vel\u00e1zquez-Quesada, A closeness- and priority-based logical study of social network creation, Journal of Logic, Language and Information 29(1): 21\u201351, 2020. https:\/\/doi.org\/10.1007\/s10849-019-09311-5.","journal-title":"Journal of Logic, Language and Information"},{"key":"10126_CR70","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/13367.001.0001","volume-title":"The Bias That Divides Us: The Science and Politics of Myside Thinking","author":"KE Stanovich","year":"2021","unstructured":"Stanovich, K. E., The Bias That Divides Us: The Science and Politics of Myside Thinking, MIT Press, Cambridge, 2021."},{"key":"10126_CR71","doi-asserted-by":"publisher","unstructured":"Talaga, S., and A. Nowak, Homophily as a process generating social networks: Insights from social distance attachment model, Journal of Artificial Societies and Social Simulation 23(2), 2020. https:\/\/doi.org\/10.18564\/jasss.4252.","DOI":"10.18564\/jasss.4252"},{"key":"10126_CR72","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104544","volume":"275","author":"H van Ditmarsch","year":"2020","unstructured":"van Ditmarsch, H., W. van der Hoek, B. Kooi, and L. B. Kuijer, Arrow update synthesis, Information and Computation 275: 104544, 2020. https:\/\/doi.org\/10.1016\/j.ic.2020.104544.","journal-title":"Information and Computation"},{"key":"10126_CR73","doi-asserted-by":"publisher","unstructured":"Verbrugge, R., Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames, in 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), 2021, pp. 1\u201313. https:\/\/doi.org\/10.1109\/LICS52264.2021.9470666.","DOI":"10.1109\/LICS52264.2021.9470666"},{"issue":"4","key":"10126_CR74","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pone.0283106","volume":"18","author":"YS Wang","year":"2023","unstructured":"Wang, Y. S., C. J. Lee, J. D. West, C. T. Bergstrom, and E. A. Erosheva, Gender-based homophily in collaborations across a heterogeneous scholarly landscape, PLOS ONE 18(4): 1\u201321, 2023. https:\/\/doi.org\/10.1371\/journal.pone.0283106.","journal-title":"PLOS ONE"},{"key":"10126_CR75","unstructured":"Watts, D. J., and P. S. Dodds, Threshold models of social influence, in P. Hedstr\u00f6m, and P. Bearman, (eds.), The Oxford Handbook of Analytical Sociology, Oxford University Press, Oxford, UK 2009, pp. 475\u2013497. Chap. 20"},{"issue":"1","key":"10126_CR76","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10849-019-09297-0","volume":"29","author":"Z Xiong","year":"2020","unstructured":"Xiong, Z., and T. \u00c5gotnes, On the Logic of Balance in Social Networks, Journal of Logic, Language and Information 29(1): 53\u201375, 2020. https:\/\/doi.org\/10.1007\/s10849-019-09297-0.","journal-title":"Journal of Logic, Language and Information"},{"key":"10126_CR77","doi-asserted-by":"publisher","unstructured":"Young\u00a0Pedersen, M., S. Smets, and T. \u00c5gotnes, Modal Logics and Group Polarization, Journal of Logic and Computation 31(8): 2240\u20132269, 2021. https:\/\/doi.org\/10.1093\/logcom\/exab062https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/8\/2240\/41808866\/exab062.pdf.","DOI":"10.1093\/logcom\/exab062"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10126-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10126-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10126-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T17:44:42Z","timestamp":1759254282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10126-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,17]]},"references-count":77,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["10126"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10126-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,7,17]]},"assertion":[{"value":"17 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This paper is an extended version of two previous conference papers:\u00a0[], which was presented at the Logic and the Foundations of Decision Theory and Game Theory Conference 2022 held in Groningen, and\u00a0[] presented at the conference Theoretical Aspects of Rationality and Knowledge 2023 held in Oxford.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}}]}}