1. Belardinelli, F., Grossi, D.: On the formal verification of diffusion phenomena in open dynamic agent networks. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 237–245 (2015)
2. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. Philos. Log. 38(5), 491–526 (2009). https://doi.org/10.1007/s10992-008-9099-x
3. Cao, Q., Sirivianos, M., Yang, X., Pregueiro, T.: Aiding the detection of fake accounts in large scale social online services. In: Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2012), pp. 197–210 (2012)
4. Chang, H.C., Iyer, H.: Trends in Twitter hashtag applications: design features for value-added dimensions to future library catalogues. Libr. Trends 61(1), 248–258 (2012)
5. Christoff, Z., Hansen, J.U.: A logic for diffusion in social networks. J. Appl. Log. 13(1), 48–77 (2015)