Ten-Year History of Social Network Logics in China

Fenrong Liu; Dazhu Li

doi:10.4312/as.2022.10.2.121-146

Authors

LIU Fenrong Department of Philosophy, Tsinghua University, China
LI Dazhu Institute of Philosophy, Chinese Academy of Sciences; Department of Philosophy, University of Chinese Academy of Sciences, China https://orcid.org/0000-0003-4780-1705

DOI:

https://doi.org/10.4312/as.2022.10.2.121-146

Keywords:

social network logics, peer pressure, graph games, dynamics, consensus

Abstract

The paper presents a ten-year history of social network logics in China. It tells the story of how this new research area was started, how its research agenda was extended, and, in particular, how a focus on graph games developed. Important ideas and research results are summarised, with an emphasis on the connections between them. An important aspect of this history is the successful collaboration between Chinese and international colleagues.

Downloads

Download data is not yet available.

References

Balbiani, Philippe, and Saúl F. González. 2020. “Indexed Frames and Hybrid Logics.” In Advances in Modal Logic, edited by Nicola Olivetti, Rineke Verbrugge, Sara Negri, and Gabriel Sandu, volume 13, 53–72. London: College Publications.

Baltag, Alexandru, Lawrence S. Moss, and Slawomir Solecki. 1998. “The Logic of Public Announcements and Common Knowledge and Private Suspicions.” In Proceedings of TARK 1998, edited by Itzhak Gilboa, 43–56. Burlington: Morgan Kaufmann.

Baltag, Alexandru, Zoé Christoff, Jens Ulrik Hansen, and Sonja Smets. 2013. “Logical Models of Informational Cascades.” In Logic Across the University: Foundations and Applications, edited by Johan van Benthem, and Fenrong Liu, 405–32. London: College Publications.

Baltag, Alexandru, Dazhu Li, and Mina Y. Pedersen. 2019. “On the Right Path: A Modal Logic for Supervised Learning.” In Proceedings of LORI 2019, edited by Patrick Blackburn, Emiliano Lorini, and Meiyun Guo, LNCS 11813, 1–14. Berlin, Heidelberg: Springer.

———. 2022. “A Modal Logic for Supervised Learning.” To appear in Journal of Logic, Language and Information.

Baltag, Alexandru, and Johan van Benthem. 2021. “A Simple Logic of Functional Dependence.” Journal of Philosophical Logic 50: 939–1005.

Bernays, Edward. 1928. Propaganda. London: Routledge.

Blackburn, Patrick, and Jeremy Seligman. 1995. “Hybrid Languages.” Journal of Logic, Language and Information 4: 251–72.

Blackburn, Patrick, Maarten de Rijke, and Yde Venema. 2002. Modal Logic. Cambridge: Cambridge University Press.

Blando, Francesca Z., Krzysztof Mierzewski, and Carlos Areces. 2020. “The Modal Logics of the Poison Game.” In Knowledge, Proof and Dynamics, edited by Fenrong Liu, Hiroakira Ono, and Junhua Yu, Logic in Asia: Studia Logica Library, 3–23. Singapore: Springer.

Christoff, Zoé. 2016. “Dynamics Logics of Networks: Information Flow and the Spread of Opinion.” PhD diss., ILLC, University of Amsterdam.

Christoff, Zoé, Jens U. Hansen, and Carlo Proietti. 2016. “Reflecting on Social Influence in Networks.” Journal of Logic, Language and Information 25 (3): 299–333.

Christoff, Zoé, and Davide Grossi. 2017. “Stability in Binary Opinion Diffusion.” In Proceedings of LORI 2017, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, LNCS 10455, 166–80. Berlin, Heidelberg: Springer.

Fagin, Ronald, Joseph Y. Halpern, Yoram Moses, and Moshe Vardi. 2004. Reasoning about Knowledge. Cambridge: The MIT Press.

Girard, Patrick, Jeremy Seligman, and Fenrong Liu. 2012. “General Dynamic Dynamic Logic.” In Advances in Modal Logic, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence Moss, vol. 9, 239–60. London: College Publications.

Goldfarb, Warren D. 1984. “The Unsolvability of the Gödel Class with Identity.” Journal of Symbolic Logic 49:1237–52.

González, Saúl F. 2021. “Some Dynamic Extensions of Social Epistemic Logic.” Paper presented at International Workshop on Logic Aspects in Multi-Agent Systems and Strategic Reasoning, 3–4 May 2021.

Grossi, Davide, and Simon Rey. 2019. “Credulous Acceptability, Poison Games and Modal Logic.” In Proceedings of AAMAS 2019, edited by Edith Elkind, Manuela Veloso, Noa Agmon, and Matthew E. Taylor, 1994–96. Montreal: AAMAS.

Hintikka, Jaakko. 1962. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell: Cornell University Press.

Li, Dazhu. 2020. “Losing Connection: The Modal Logic of Definable Link Deletion.” Journal of Logic and Computation 30: 715–43.

———. 2021. “Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction.” PhD diss., Department of Philosophy, Tsinghua University and ILLC, University of Amsterdam.

Li, Dazhu, Sujata Ghosh, Fenrong Liu, and Yaxin Tu. 2021. “On the Subtle Nature of a Simple Logic of the Hide and Seek Game.” In Logic, Language, Information and Computation (WoLLIC 2021), edited by Alexandra Silva, Renata Wassermann, and Ruy de Queiroz, LNCS 13038, 201–18. Cham: Springer.

Liang, Zhen. 2017. “An Axiomatisation for Minimal Social Epistemic Logic.” In Proceedings of LORI 2017, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, LNCS 10455, 664–69. Berlin, Heidelberg: Springer.

———. 2020. “Towards Axiomatisation of Social Epistemic Logic.” PhD diss., Department of Philosophy, University of Auckland.

Liang, Zhen, and Jeremy Seligman. 2011. “A Logical Model of the Dynamics of Peer Pressure.” Electronic Notes in Theoretical Computer Science 278: 275–88.

Liu, Fenrong. 2008. “Change for the Better. Preference Dynamics and Agent Diversity.” PhD diss., ILLC, University of Amsterdam.

–––. 2011. Reasoning about Preference Dynamics. Synthese Library, vol. 354. Dordrecht: Springer.

Liu, Fenrong, Jeremy Seligman, and Patrick Girard. 2014. “Logical Dynamics of Belief Change in the Community.” Synthese 191: 2403–31.

Liu, Fenrong, and Emiliano Lorini. 2017. “Reasoning about Belief, Evidence and Trust in a Multi-Agent Setting.” In PRIMA 2017: Principles and Practice of Multi-Agent Systems, edited by Bo An, Ana Bazzan, João Leite, Serena Villata, and Leendert van der Torre, LNCS 10621, 71–89. Cham: Springer.

Liu, Fenrong 刘奋荣, and Jeremy Seligman 谢立民. 2018. “Guanyu shejiao wangluo zhong zhuti xingwei de tuili he yuce 关于社交网络中主体行为的推理和预测 (Reasoning and Making Predictions about Agent’s Behaviors in Social Networks).” Jinan xuebao 暨南学报 (Journal of Jinan) 12: 1–8.

Morrison, Colby, and Pavel Naumov. 2020. “Group Conformity in Social Networks.” Journal of Logic, Language and Information 29: 3–19.

Pedersen, Mina Young, Sonja Smets, and Thomas Ågotnes. 2019. “Analyzing Echo Chambers: A Logic of Strong and Weak Ties.” In Proceedings LORI 2019, edited by Patrick Blackburn, Emiliano Lorini, and Meiyun Guo, LNCS 11813, 183–98. Berlin, Heidelberg: Springer.

———. 2020. “Further Steps Towards a Logic of Polarization in Social Networks.” In CLAR 2020: Logic and Argumentation, edited by Mehdi Dastani, Huimin Dong, and Leon van der Torre, LNAI 12061, 324-345. Cham: Springer.

Rendsvig, Rasmus K. 2017. “Diffusion, Influence and Best-Response Dynamics in Networks: An Action Model Approach.” ArXiv: 1708.01477.

Ruan, Ji, and Michael Thielscher. 2011. “A Logic for Knowledge Flow in Social Networks.” In AI 2011: Advances in Artificial Intelligence, edited by Dianhui Wang, and Mark Reynolds, LNCS 7106, 511–20. Berlin, Heidelberg: Springer.

Sano, Katsuhiko. 2010. “Axiomatizing Hybrid Products: How Can We Reason Many-Dimensionally in Hybrid Logic?” Journal of Applied Logic 8: 459–74.

–––—. 2017. “Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus.” In Proceedings of LORI 2017, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, LNCS 10455, 224–39. Berlin, Heidelberg: Springer.

Seligman, Jeremy, Fenrong Liu, and Patrick Girard. 2011. “Logic in the Community.” In Proceedings of the 4th Indian Conference on Logic and its Applications, edited by Mohua Banerjee, and Anil Seth, LNCS 6521, 178–88. Berlin, Heidelberg: Springer.

———. 2013. “Facebook and Epistemic Logic of Friendship.” In Proceedings of TARK 2013, edited by Burkhard C. Schipper, 229–38. Chennai, India.

Seligman, Jeremy, and Declan Thompson. 2015. “Boolean Network Games and Iterated Boolean Games.” In Proceedings LORI 2015, edited by Wiebe van der Hoek, Wesley H. Holliday, and Wenfang Wang, LNCS 9394, 353–65. Berlin, Heidelberg: Springer.

Shi, Chenwei. 2021. “Collective Opinion as Tendency towards Consensus.” Journal of Philosophical Logic 50: 593–613.

Skyrms, Brain. 2014. Social Dynamics. Oxford: Oxford University Press.

Smets, Sonja, and Fernando R. Velázquez-Quesada. 2017. “How to Make Friends: A Logical Approach to Social Group Creation.” In Proceedings of LORI 2017, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, volume 10455 of LNCS, 377–90. Berlin, Heidelberg: Springer.

–––—. 2020. “A Closeness- and Priority-Based Logical Study of Social Network Creation.” Journal of Logic, Language and Information 29: 21–51.

Thompson, Declan. 2020. “Local Fact Change Logic.” In Knowledge, Proof and Dynamics, edited by Fenrong Liu, Hiroakira Ono, and Junhua Yu, Logic in Asia: Studia Logica Library, 73–96. Singapore: Springer.

van Benthem, Johan. 2005. “An Essay on Sabotage and Obstruction.” In Mechanizing Mathematical Reasoning, edited by Dieter Hutter, and Werner Stephan, LNCS 2605, 268–76. Berlin, Heidelberg: Springer.

–––—. 2014. Logic in Games. Cambridge: The MIT Press.

–––—. 2015. “Oscillation, Logic and Dynamical Systems.” In The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge, edited by Sujata Ghosh, and Jakub Szymanik, 9–22. London: College Publications.

van Benthem, Johan, and Fenrong Liu. 2007. “Dynamic Logic of Preference Upgrade.” Journal of Applied Non-Classical Logics 17: 157–82.

–––—. 2020. “Graph Games and Logic Design.” In Knowledge, Proof and Dynamics, edited by Fenrong Liu, Hiroakira Ono, and Junhua Yu, Logic in Asia: Studia Logica Library, 125–46. Singapore: Springer.

van Benthem, Johan, Krzysztof Mierzewski, and Francesca Z. Blando. 2020. “The Modal Logic of Stepwise Removal.” The Review of Symbolic Logic 1–28. https://doi:10.1017/S1755020320000258.

van Benthem, Johan, Fenrong Liu, and Sonja Smets. 2021. “Logico-Computational Aspects of Rationality.” In The Handbook of Rationality, edited by Markus Knauff, and Wolfgang Spohn, 185–200. Cambridge: The MIT Press.

van der Hoek, Wiebe, Louwe B. Kuijer, and Yi N. Wang. 2019. “Who Should Be My Friends? Social Balance from the Perspective of Game Theory.” In Proceedings of LORI 2019, edited by Patrick Blackburn, Emiliano Lorini, and Meiyun Guo, LNCS 11813, 370–84. Berlin, Heidelberg: Springer.

–––—. 2020. “Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory.” In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20) 210–216.

von Wright, Georg H. 1951. An Essay on Modal Logic. Amsterdam: North-Holland Publishing Company.

Wang, Yanjing, and Jeremy Seligman. 2018. “When Names Are Not Commonly Known: Epistemic Logic with Assignments.” In Advances in Modal Logic, edited by Guram Bezhanishvili, Giovanna D’Agostino, George Metcalfe, and Thomas Studer, vol. 12, 611–28. London: College Publications.

Xiong, Zuojun. 2017. “On the Logic of Multicast Messaging and Balance in Social Network.” PhD diss., University of Bergen.

Xiong, Zuojun, and Thomas Ågotnes. 2020. “On the Logic of Balance in Social Networks.” Journal of Logic, Language and Information 29: 53–75.

Xiong, Zuojun, Thomas Ågotnes, Jeremy Seligman, and Rui Zhu. 2017. “Towards a Logic of Tweeting.” In Proceedings of LORI 2017, edited by Alexandru Baltag, Jeremy Seligman, and Tomoyuki Yamada, LNCS 10455, 49–64. Berlin, Heidelberg: Springer.

Xu, Ming. 1988. “On Some U, S-Tense Logic.” Journal of Philosophical Logic 17: 181–202.

Xue, Yunqi. 2017. “In Search of Homo Sociologicus.” PhD diss., The Graduate Center, The City University of New York.

Zhu, Ri. (forthcoming). “Social Announcement Logic.” PhD diss., Department of Philosophy, University of Auckland.