2016/01/15 by Sanaz Azimipour, Azimipour, Sanaz, Pavel Naumov +1
Computer Science · Mathematics · Physics and Astronomy · #Complex Network Analysis Techniques #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multiagent Systems (cs.MA) #Opinion Dynamics and Social Influence #Social and Information Networks (cs.SI) #cs.LO #cs.MA #cs.SI #math.LO
paper · pdf · doi:10.48550/arxiv.1601.04098
arxiv created 2016/01/15 · openalex publication_date 2016/01/15 · arxiv updated 2016/01/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.