When Names Are Not Commonly Known: Epistemic Logic with Assignments
This work addresses a foundational issue in epistemic logic for applications where agent names are not commonly known, offering a more flexible framework.
The paper tackles the problem of standard epistemic logic assuming agent names are common knowledge, which is unrealistic for many applications, by introducing a lightweight modal predicate logic with non-rigid names and providing a complete axiomatisation over S5 models.
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 assignment operators in dynamic logic, we introduce a lightweight modal predicate logic where names can be non-rigid. The language can handle various de dicto and de re distinctions in a natural way. The main technical result is a complete axiomatisation of this logic over S5 models.