Speech acts as announcements
Nadine Guiraud, Andreas Herzig, Emiliano Lorini · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2009
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a modelling in terms of speech acts.