Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names

05/10/2018

∙

by   Jeremy Seligman, et al.

∙

0

∙

share

In standard epistemic logic, agent names are usually assumed to be common knowledge. This is unreasonable for various applications. Inspired by term modal logic and assignment operators in dynamic logic, we introduce a lightweight modal predicate logic whose names are not rigid. The language can handle various de dicto/de re distinctions in a natural way. We show the decidability of the logic over arbitrary models and give a complete axiomatization over S5 models.