A logic for diffusion in social networks

DOI10.1016/j.jal.2014.11.011zbMath1311.03037OpenAlexW2104074474MaRDI QIDQ2018607

Zoé Christoff, Jens Ulrik Hansen

Publication date: 24 March 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.11.011

zbMATH Keywords

modal logichybrid logicdiffusion in social networkssocial networks analysis

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Modal logic (including the logic of norms) (03B45)

Related Items (16)

Reasoning in large games with unboundedly many players ⋮ Social bot detection as a temporal logic model checking problem ⋮ Group conformity in social networks ⋮ A closeness- and priority-based logical study of social network creation ⋮ On the logic of balance in social networks ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ Logic of visibility in social networks ⋮ Reflecting on social influence in networks ⋮ Comparing Social Network Dynamic Operators ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Unnamed Item ⋮ Opinion diffusion and influence: a logical approach ⋮ A four-valued dynamic epistemic logic ⋮ Marketing impact on diffusion in social networks ⋮ Dynamic epistemic logics of diffusion and prediction in social networks ⋮ Diffusion of Opinion and Influence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Pure extensions, proof rules, and hybrid axiomatics
• Dynamic epistemic logic
• A knowledge based semantics of messages
• The expressibility of fragments of hybrid graph logic on finite digraphs
• Logical dynamics of belief change in the community
• On the rationality of pluralistic ignorance
• In so many possible worlds
• The undecidability of iterated modal relativization
• A Logical Model of the Dynamics of Peer Pressure
• A Two-Tiered Formalization of Social Influence
• Modal Expressiveness of Graph Properties
• Dynamic Epistemic Logic for Channel-Based Agent Communication
• Logic in the Community
• Logical Dynamics of Information and Interaction
• Terminating Tableaux for Dynamic Epistemic Logics
• Using modal logics to express and check global graph properties
• Protocols for belief merge: Reaching agreement via communication
• Terminating Tableau Calculi for Hybrid Logics Extending K
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• The Description Logic Handbook
• Termination for Hybrid Tableaus
• Networks
• Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

This page was built for publication: A logic for diffusion in social networks