Abstract
In this paper we study the logical principles of a common type of network communication events that haven’t been studied from a logical perspective before, namely network announcements, or tweeting, i.e., simultaneously sending a message to all your friends in a social network. In particular, we develop and study a minimal modal logic for reasoning about propositional network announcements. The logical formalisation helps elucidate core logical principles of network announcements, as well as a number of assumptions that must be made in such reasoning. The main results are sound and complete axiomatisations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8(1), 62–81 (2010)
Baltag, A., Christoff, Z., Ulrik Hansen, J., Smets, S.: Logical Models of Informational Cascades. Studies in Logic. College Publications, London (2013)
Christoff, Z.: Dynamic Logics of Networks. Ph.D. thesis, University of Amsterdam (2016)
Christoff, Z., Ulrik Hansen, J.: A logic for diffusion in social networks. J. Appl. Logic 13(1), 48–77 (2015)
Ulrik Hansen, J.: Reasoning about opinion dynamics in social networks. J. Logic Comput. (2015). https://doi.org/10.1093/logcom/exv083
Harte, L.: Introduction to Data Multicasting. Althos Publishing, Raleigh (2008)
Hosszú, G.: Mediacommunication based on application-layer multi-cast. In: Encyclopedia of Virtual Communities and Technologies, pp. 302–307. IGI Global (2006)
Pacuit, E., Parikh, R.: The logic of communication graphs. In: Leite, J., Omicini, A., Torroni, P., Yolum, I. (eds.) DALT 2004. LNCS, vol. 3476, pp. 256–269. Springer, Heidelberg (2005). doi:10.1007/11493402_15
Ruan, J., Thielscher, M.: A logic for knowledge flow in social networks. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 511–520. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25832-9_52
Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS, vol. 6521, pp. 178–188. Springer, Heidelberg (2011). doi:10.1007/978-3-642-18026-2_15
Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Schipper, B.C. (ed.) Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, India, pp. 229–238 (2013)
van Ditmarsch, H., van Eijck, J., Pardo, P., Ramezanian, R., Schwarzentruber, F.: Gossip in dynamic networks. Liber Amicorum Alberti. A Tribute to Albert Visser, pp. 91–98. College Publications, London (2016)
van Eijck, J., Sietsma, F.: Message-generated kripke semantics. In: The 10th International Conference on Autonomous Agents and Multiagent Systems, vol. 3, pp. 1183–1184 (2011)
Wang, Y., Sietsma, F., Eijck, J.: Logic of information flow on communication channels. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 130–147. Springer, Heidelberg (2011). doi:10.1007/978-3-642-20715-0_8
Acknowledgments
The first author is supported by Projects of the National Social Science Foundation of China under research no. 15AZX020.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag GmbH Germany
About this paper
Cite this paper
Xiong, Z., Ågotnes, T., Seligman, J., Zhu, R. (2017). Towards a Logic of Tweeting. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-55665-8_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55664-1
Online ISBN: 978-3-662-55665-8
eBook Packages: Computer ScienceComputer Science (R0)