PP-2014-09: Dynamic Social Networks Logic

PP-2014-09: Christoff, Zoé and Hansen, Jens Ulrik (2014) Dynamic Social Networks Logic. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2014-09.text.pdf

Download (405kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2014-09.abstract.txt

Download (623B)

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.

Item Type: Report
Report Nr: PP-2014-09
Series Name: Prepublication (PP) Series
Year: 2014
Uncontrolled Keywords: Modal Logic; Hybrid Logic; Social Networks Analysis; Diffusion in Social Networks
Depositing User: Christoff
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/497

Actions (login required)

View Item View Item