Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662948 | Journal of Applied Logic | 2015 | 30 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Zoé Christoff, Jens Ulrik Hansen,