A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment

Following P. Cohen and H.J. Levesque (1990), R. Fagin et al., 1995, A. Rao M. Georgeff (1991), we agree that modal logic provides a simple but powerful formalism for the representation, the specification and the analysis of the mental attitudes of rational agents: belief, desire and intention (BDI). These approaches underestimate the issue of the formalization of common, distributed and introspective BDI of a group of complex agents. In order to answer to this question, we introduce a propositional modal language that extends existing languages and where various complex agents are considered.