Dynamic Social Networks Logic
Zoé Christoff, Jens Ulrik Hansen

Abstract:
We introduce a general framework for reasoning about dynamic processes within social networks, such as diffusion phenomena. First, we define the new Dynamic Social Networks Logic, a dynamic extension of standard hybrid modal logic. We then provide a complete axiomatization for this logic and give  terminating and complete tableau system for it. Finally, we show how to apply the framework to dynamic processes documented in social networks analysis.

Keywords: Modal Logic;  Hybrid Logic;  Social Networks Analysis;  Diffusion in Social Networks