A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment | IEEE Conference Publication | IEEE Xplore