On a Non-Context-Free Extension of PDL

Stefan Göller, Dirk Nowotka

Over the last 25 years, a lot of work has been done on seeking for decidable non-regular extensions of Propositional Dynamic Logic (PDL). Only recently, an expressive extension of…