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.