Document Type

Article

Journal/Book Title/Conference

Journal of applied logics - IFCoLog journal of logics and their applications

Volume

5

Article

1152

Issue

1

Publication Date

2018

Department or Program

Computer Science Department

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.

Comments

Link to license required by publisher: https://creativecommons.org/licenses/by-nc-nd/4.0/

Share

COinS