236489

(2008) Synthese 163 (1).

A logic of intention and attempt

Emiliano Lorini , Andreas Herzig

pp. 45-77

We present a modal logic called ({mathcal{LIA}}) (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of ({mathcal{LIA}}), we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

Publication details

DOI: 10.1007/s11229-008-9309-7

Full citation:

Lorini, E. , Herzig, A. (2008). A logic of intention and attempt. Synthese 163 (1), pp. 45-77.

This document is unfortunately not available for download at the moment.