  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.
