On the Axiomatization of Elgesem’s Logic of Agency