A Logic for Diffusion in Social Networks

Authors
  • Z. Christoff
  • J.U. Hansen
Publication date 2015
Journal Journal of Applied Logic
Volume | Issue number 13 | 1
Pages (from-to) 48-77
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Science (FNWI)
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.
Document type Article
Language English
Published at
https://doi.org/10.1016/j.jal.2014.11.011 (Final published version)
Permalink to this page
Back