Mario R. F. Benevides,  Luis R. M. Lopes. 

The growing importance of distributed systems over computer networks caused them to evolve in ways that brought them and the multi-agent systems together and motivated the creation of the Multi-Agent Planning domain of research. This article presents a modal logic, MAPKAT, designed to allow automatic checking and planning in a dynamic multi-agent environment involving individual knowledge and power.

http://www.lbd.dcc.ufmg.br/colecoes/enia/2005/083.pdf

Processando consulta.