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.
展开▼
