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.
CITATION STYLE
Xiong, Z., Ågotnes, T., Seligman, J., & Zhu, R. (2017). Towards a logic of Tweeting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10445 LNCS, pp. 49–64). Springer Verlag. https://doi.org/10.1007/978-3-662-55665-8_4
Mendeley helps you to discover research relevant for your work.