PDL

Medical abbreviations:
PDL

Propositional Dynamic Logic