Antony Galton
In Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (editors), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4, Epistemic and Temporal Reasoning, pages 175-240. Oxford University Press, 1995. ISBN 0-19-853791-3.