Abstract
In this paper we introduce some new operators that make it possible to reason about decisions
and commitments to do actions. In our framework, a decision leads to an intention to do an action.
The decision in itself does not change the state of the world; a commitment to actually perform
the intended
... read more