LOGICS FOR RESOURCE-BOUNDED AGENTS
Knowledge and common knowledge in a distributed environment