Sorry, the term Propositional Dynamic Logic is not in the dictionary. Check the spelling and try removing suffixes like "-ing" and "-s".
Why is this definition missing?
Nearby terms:
propositional logic ♦ Proposition of a Language Useable for Structured Specifications
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading