When Names Are Not Commonly Known: Epistemic Logic with Assignments.

Yanjing Wang, Jeremy Seligman

Browse the full AiML paper archive.