Adam J. Grove, Joseph Y. Halpern
Naming and Identity in a Multi-Agent Epistemic Logic
KR, 1991.
@inproceedings{KR-1991-GroveH,
author = "Adam J. Grove and Joseph Y. Halpern",
booktitle = "{Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-165-1",
pages = "301--312",
publisher = "{Morgan Kaufmann}",
title = "{Naming and Identity in a Multi-Agent Epistemic Logic}",
year = 1991,
}