A Logic of Intentions and Beliefs (1993)

by Munindar P. Singh, Nicholas M. Asher