A logic for diffusion in social networks

DOI10.1016/j.jal.2014.11.011zbMath1311.03037MaRDI 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 logic; hybrid logic; diffusion in social networks; social networks analysis

Mathematics Subject Classification ID

91D30: Social networks; opinion dynamics

03B45: Modal logic (including the logic of norms)

Related Items

Further Steps Towards a Logic of Polarization in Social Networks, Diffusion of Opinion and Influence, Marketing impact on diffusion in social networks, Reflecting on social influence in networks, On the modal logic of the non-orthogonality relation between quantum states, Opinion diffusion and influence: a logical approach, Dynamic epistemic logics of diffusion and prediction in social networks, 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, A four-valued dynamic epistemic logic, Unnamed Item

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item