Propositional dynamic logic

Redirect to:

• Dynamic logic (modal logic)#Propositional dynamic logic (PDL)