propositional dynamic logic

GPTKB entity