≡
Home
Recent changes
Special pages
Wikipedia
Propositional dynamic logic
Redirect to:
Dynamic logic (modal logic)#Propositional dynamic logic (PDL)