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.