common knowledge, communication, distributed knowledge, dynamic logic, epistemic logic, information sharing.
