On the Axiomatization of Elgesem's Logic of Ability and Agency