 The Belief-Desire-Intention model of agents (BDI) is concerned with the formal representation of practical reasoning involving action, intention, belief, will, deliberation, goal-driven modeling, etc. This kind of reasoning is essential for planning (especially for artificial agents). It is then just natural to think about combining simple modal logics for knowledge, belief, obligation, capability, opportunity, etc., so as to define more robust BDI logics. Governatori et al. 2002 investigates the relationships between BDI logics and a particular case of Gabbay’s fibring semantics (see  subsection 4.2)  called dovetailing, showing that a (general) logical account of BDI can be handled by means of dovetailing multimodal logics.