research
∙
05/10/2018
When Names Are Not Commonly Known: Epistemic Logic with Assignments
In standard epistemic logic, agent names are usually assumed to be commo...
research
∙
05/10/2018