tokens: Dynamic Preference Logic ( DPL ) is the result of " dynamifying " Preference Logic , i.e. extending it with dynamic modalities - usually represented by programs in Propositional Dynamic Logic ( PDL ) .