A Logic of Agent Programs. - Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch. (2007)