On the Relationship Between BDI Logics and Standard Logics of Concurrency.

Klaus Schild On the Relationship Between BDI Logics and Standard Logics of Concurrency. 259-283 2000 3 Autonomous Agents and Multi-Agent Systems 3 db/journals/aamas/aamas3.html#Schild00