PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

Diego Figueira, Santiago Figueira, Edwin Pin

We introduce CPDL+, a family of expressive logics rooted in Propositional Dynamic Logic (PDL). In terms of expressive power, CPDL+ strictly contains PDL extended with intersection…