no code implementations • 10 May 2018 • Yanjing Wang, Jeremy Seligman
In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly.