PP-2014-09: Christoff, Zoé and Hansen, Jens Ulrik (2014) Dynamic Social Networks Logic. [Report]
Preview |
Text (Full Text)
PP-2014-09.text.pdf Download (405kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
