A logic of intention and attempt

Abstract:

PDF (earlier version)

Bibtex-entry:

@Article{ LoriniHerzig-Synthese08,
author   = {Lorini, Emiliano and Herzig, Andreas},
title    = "{A logic of intention and attempt}",
journal  = {Synthese},
publisher = {Springer},
address  = {http://www.springerlink.com},
year     = {2008},
pages    = {to appear},
doi      = {10.1007/s11229-008-9309-7},
abstract = {We present a modal logic called LIA (Logic of Intention and Attempt) in which we
            can reason about intention dynamics and intentional action execution.
            By exploiting the expressive power of 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. }
note     = {Published online: 14 February 2008, http://www.springerlink.com/content/103001/?Content+Status=Accepted}
}