Speech acts as announcements (LSIR2)

Abstract

also presented at Dagstuhl workshopInternational audienceOur 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 modeling in terms of speech act