, Volume 163, Issue 1, pp 45-77

First online:

A logic of intention and attempt

  • Emiliano LoriniAffiliated withInstitut de Recherche en Informatique de Toulouse-IRIT Email author 
  • , Andreas HerzigAffiliated withInstitut de Recherche en Informatique de Toulouse-IRIT

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.


Intention Action Logic