A logic for diffusion in social networks

Research output: Contribution to journalArticle


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.


  • Zoé Christoff
  • Jens Ulrik Hansen
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Philosophy


  • Modal Logic, Hybrid Logic, Social Networks Analysis, Diffusion in Social Networks
Original languageEnglish
Pages (from-to)48-77
JournalJournal of Applied Logic
Issue number1
Publication statusPublished - 2015
Publication categoryResearch

Related projects

Cathrine V. Felix, Emmanuel Genot, Erik J Olsson, George Masterton, Kristoffer Ahlstrom-Vij, Rasmus Kraemmer Rendsvig, Sille Obelitz Søe, Ylva von Gerber, Jonas Fransson, Cecilia Andersson, Jutta Haider, Lars Ilshammar, Linnéa Lindsköld, Olof Sundin, Sara Kjellberg & Hanna Carlsson

Swedish Research Council


Project: Research

View all (1)