Naming and Identity in a Multi-Agent Epistemic Logic.

Adam J. Grove, Joseph Y. Halpern

Browse the full KR paper archive.