Abstract: Numerous logics have been developed to reason either about threshold-induced opinion diffusion in a network, or about similarity-driven network structure evolution, or about both. In this paper, we first introduce a logic containing different dynamic operators to capture changes that are 'asynchronous' (opinion change only, network-link change only) and changes that are 'synchronous' (both at the same time). Second, we show that synchronous operators cannot, in general, be replaced by asynchronous operators and vice versa. Third, we characterise the class of models on which the synchronous operator can be reduced to sequences of asynchronous operators.
Recommendations
Cites work
- A closeness- and priority-based logical study of social network creation
- A logic for diffusion in social networks
- A logical analysis of the interplay between social influence and friendship selection
- A logical study of group-size based social network creation
- Change in social networks: Some dynamic extensions of Social Epistemic Logic
- Diffusion in social networks with recalcitrant agents
- Dynamic epistemic logic
- Dynamic epistemic logics of diffusion and prediction in social networks
- Expressivity and completeness for public update logics via reduction axioms
- Formal models of conflicting social influence
- General dynamic dynamic logic
- Homophily and long-run integration in social networks
- How to make friends: a logical approach to social group creation
- Logic in the community
- Logical dynamics of belief change in the community
- Networks, crowds and markets. Reasoning about a highly connected world.
- Protocols for belief merge: Reaching agreement via communication
Cited in
(2)
This page was built for publication: Comparing Social Network Dynamic Operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199599)