Reasoning about opinion dynamics in social networks | Journal of Logic and Computation | DeepDyve