Knowledge and common knowledge in a distributed environment
Belief, awareness, and limited reasoning