Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.

Philippe Balbiani, Andreas Herzig, Nicolas Troquard

Browse the full LICS paper archive.