On the Axiomatisation of Elgesem’s Logic of Agency and Ability