Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

A logic for diffusion in social networks

Christoff, Zoé and Hansen, Jens Ulrik LU (2015) In Journal of Applied Logic 13(1). p.48-77
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.
Please use this url to cite or link to this publication:
author
and
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Modal Logic, Hybrid Logic, Social Networks Analysis, Diffusion in Social Networks
in
Journal of Applied Logic
volume
13
issue
1
pages
48 - 77
publisher
Elsevier
external identifiers
  • wos:000349735100004
  • scopus:84923094909
ISSN
1570-8683
DOI
10.1016/j.jal.2014.11.011
project
Knowledge in a Digital World: Trust, Credibility and Relevance on the Web
language
English
LU publication?
yes
id
bad20751-a055-43f1-8183-238c44f5d010 (old id 4857959)
alternative location
http://www.sciencedirect.com/science/article/pii/S1570868314000858
date added to LUP
2016-04-01 10:56:46
date last changed
2022-02-02 22:24:42
@article{bad20751-a055-43f1-8183-238c44f5d010,
  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.}},
  author       = {{Christoff, Zoé and Hansen, Jens Ulrik}},
  issn         = {{1570-8683}},
  keywords     = {{Modal Logic; Hybrid Logic; Social Networks Analysis; Diffusion in Social Networks}},
  language     = {{eng}},
  number       = {{1}},
  pages        = {{48--77}},
  publisher    = {{Elsevier}},
  series       = {{Journal of Applied Logic}},
  title        = {{A logic for diffusion in social networks}},
  url          = {{http://dx.doi.org/10.1016/j.jal.2014.11.011}},
  doi          = {{10.1016/j.jal.2014.11.011}},
  volume       = {{13}},
  year         = {{2015}},
}