Agency and deontic logic - Horty, John F. (Oxford University Press, 2001)