computational complexity of reasoning, epistemic logic, fair termination, gossip protocols, Knowledge-based programs.