An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications.