Speech acts as announcements

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 modeling in terms of speech acts.

[1]  Johan van Benthem,et al.  Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences , 2009, J. Philos. Log..

[2]  Johan van Benthem,et al.  Dynamic logic of preference upgrade , 2007, J. Appl. Non Class. Logics.

[3]  Emiliano Lorini,et al.  The Logic of Acceptance: Grounding Institutions on Agents' Attitudes , 2009, J. Log. Comput..

[4]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[5]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[6]  O. Roy.  Thinking before acting : intentions, logic, rational choice , 2008 .

[7]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[8]  Alexandru Baltag,et al.  From conditional probability to the logic of doxastic actions , 2007, TARK '07.

[9]  Dominique Longin,et al.  A logic of intention with cooperation principles and with assertive speech acts as communication primitives , 2002, AAMAS '02.

[10]  Guillaume Aucher,et al.  Perspectives on belief and change , 2008 .

[11]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

[12]  D. Over,et al.  Studies in the Way of Words. , 1989 .

[13]  Guillaume Aucher,et al.  A Combined System for Update Logic and Belief Revision , 2004, PRIMA.

[14]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[15]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[16]  A. Avramides.  Studies in the Way of Words , 1992 .