an important aspect of the bdi software model (in terms of its research relevance) is the existence of logical models through which it is possible to define and reason about bdi agents. research in this area has led, for example, to the axiomatization of some bdi implementations, as well as to formal logical descriptions such as anand rao and michael georgeff's bdictl. the latter combines a multiple-modal logic (with modalities representing beliefs, desires and intentions) with the temporal logic ctl*.