2000 character limit reached
Lighthouse Principle for Diffusion in Social Networks (1601.04098v1)
Published 15 Jan 2016 in math.LO, cs.LO, cs.MA, and cs.SI
Abstract: The article investigates 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 topological 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.