Document
Abstract
The article investigates an influence relation between two sets of agents in a social network. It proposes a logical system that captures propositional properties of this relation valid in all threshold models of social networks with the same structure. The logical system consists of Armstrong axioms for functional dependence and an additional Lighthouse axiom. The main results are soundness, completeness, and decidability theorems for this logical system.
Details
Department or Program
Document Type
Issue Number
1
Peer Reviewed
Reviewed
Publication Date
2018-01-01
Source Publication
Volume Number
5
English
Repository Collection
Document Type
