We present a reduction from a new logic extending van der Meyden'sdynamic logic of permission (DLP) into propositional dynamic logic (PDL),providing a 2EXPTIME decision procedure and showing that all the machinery for PDL can be reused for reasoning about dynamic policies. As a side-effect, we establish that DLP is EXPTIME-complete. The logic we introduceextends the logic DLP so that the policy set can be updated depending on itscurrent value and such an update corresponds to add\slash delete transitions in the model, showing similarities with van Benthem's sabotage modal logic.