DagSemProc.09351.8.pdf
- Filesize: 128 kB
- 5 pages
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.
Feedback for Dagstuhl Publishing