On the axiomatisation of Elgesem's logic of agency and ability
scientific article; zbMATH DE number 5004563