When Names Are Not Commonly Known: Epistemic Logic with Assignments

Yanjing Wang, Jeremy Seligman

In standard epistemic logic, agent names are usually assumed to be common knowledge implicitly. This is unreasonable for various applications. Inspired by term modal logic and assi…