A logic for diffusion in social networks

This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new "Logic for Diffusion in Social Networks" is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.

[1]  Fenrong Liu,et al.  Logic in the Community , 2011, ICLA.

[2]  Johan van Benthem.  Logical Dynamics of Information and Interaction: Preface , 2011 .

[3]  Balder ten Cate,et al.  Hybrid logics , 2007, Handbook of Modal Logic.

[4]  Zoé Christoff.  A Logic for Social Influence through Communication , 2013, EUMAS.

[5]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[6]  E. Todeva.  Networks , 2007 .

[7]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[8]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[9]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[10]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[11]  Gert Smolka,et al.  Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies , 2009, TABLEAUX.

[12]  Dale T. Miller,et al.  When social comparison goes awry: The case of pluralistic ignorance. , 1991 .

[13]  Alexandru Baltag,et al.  Protocols for belief merge: Reaching agreement via communication , 2013, Log. J. IGPL.

[14]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[15]  Patrick Blackburn,et al.  Terminating Tableau Calculi for Hybrid Logics Extending K , 2009, M4M.

[16]  Hubert J. O'Gorman,et al.  Pluralistic Ignorance—A Replication and Extension , 1976 .

[17]  Andreas Herzig,et al.  Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[18]  Nikolaj Jang Lee Linding Pedersen,et al.  On the rationality of pluralistic ignorance , 2014, Synthese.

[19]  E. David,et al.  Networks, Crowds, and Markets: Reasoning about a Highly Connected World , 2010 .

[20]  Rohit Parikh,et al.  Reasoning about Communication Graphs , 2007 .

[21]  Jeremy Seligman,et al.  A Logical Model of the Dynamics of Peer Pressure , 2011, M4M/LAMAS.

[22]  Kit Fine,et al.  In so many possible worlds , 1972, Notre Dame J. Formal Log..

[23]  Katsuhiko Sano,et al.  Dynamic Epistemic Logic for Channel-Based Agent Communication , 2013, ICLA.

[24]  Hubert J. O'Gorman.  The discovery of pluralistic ignorance: An ironic lesson , 1986 .

[25]  Arun G. Chandrasekhar,et al.  The Diffusion of Microfinance , 2012, Science.

[26]  Mario R. F. Benevides,et al.  Modal Expressiveness of Graph Properties , 2008, LSFA.

[27]  Patrick Blackburn,et al.  Termination for Hybrid Tableaus , 2007, J. Log. Comput..

[28]  Zoé Christoff,et al.  A Two-Tiered Formalization of Social Influence , 2013, LORI.

[29]  Iain A. Stewart,et al.  The expressibility of fragments of Hybrid Graph Logic on finite digraphs , 2013, J. Appl. Log..

[30]  Deborah A. Prentice,et al.  Pluralistic ignorance and alcohol use on campus: some consequences of misperceiving the social norm. , 1993, Journal of personality and social psychology.

[31]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[32]  Balder ten Cate,et al.  Pure Extensions, Proof Rules, and Hybrid Axiomatics , 2006, Stud Logica.

[33]  Michael Thielscher,et al.  A Logic for Knowledge Flow in Social Networks , 2011, Australasian Conference on Artificial Intelligence.

[34]  James M. Fields,et al.  Public Beliefs About the Beliefs of the Public , 1976 .

[35]  Lawrence S. Moss,et al.  The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.

[36]  Mario R. F. Benevides,et al.  Using modal logics to express and check global graph properties , 2009, Log. J. IGPL.

[37]  B. Ryan.  The diffusion of hybrid seed corn in two Iowa communities , 1943 .

[38]  Andreas Witzel,et al.  Common knowledge in interaction structures , 2009, TARK '09.

[39]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[40]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[41]  Fenrong Liu,et al.  Logical dynamics of belief change in the community , 2014, Synthese.

[42]  Floris Roelofsen,et al.  Exploring Logical Perspectives on Distributed Information and its Dynamics , 2005 .

[43]  Mark Newman,et al.  Networks: An Introduction , 2010 .

[44]  Rasmus K. Rendsvig,et al.  Dynamic Logics for Threshold Models and their Epistemic Extension , 2014 .

[45]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[46]  Eric Pacuit,et al.  Majority Logic , 2004, KR.

[47]  David Krech,et al.  The field and problems of social psychology. , 1948 .

[48]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[49]  Yanjing Wang,et al.  Logic of Information Flow on Communication Channels , 2010, DALT.

[50]  Jonathon R. B. Halbesleben,et al.  Pluralistic ignorance: historical development and organizational applications , 2004 .

[51]  Jens Ulrik Hansen.  Terminating Tableaux for Dynamic Epistemic Logics , 2010, Electron. Notes Theor. Comput. Sci..

[52]  Dale T. Miller,et al.  Pluralistic ignorance: When similarity is interpreted as dissimilarity. , 1987 .