On the dynamic logic of agency and action
scientific article; zbMATH DE number 6348338