Beliefs, intentions, actions and speech acts
Résumé
We present a logical framework integrating the notions of belief, intention and action that is build on epistemic logic and dynamic logic. Based on that framework we discuss the representation of speech acts as actions that can be characterized by pre- and postconditions, focussing on the evolution of beliefs and intentions when speech acts are performed.