Reasoning about knowledge and action (1980)

by R C Moore
Venue:In Proc. of the the 1 st Conf. On Theoretical Aspects of Reasoning about Knowledge (TARK 86