Roles, Rigidity, and Quantification in Epistemic Logic
with John Perry
2014. Outstanding Contributions to Logic, Vol. 5: Johan van Benthem on Logic and Information Dynamics. Publisher's version.