24 citations · 33 across the 12 of their papers we have counts for
1 paper · 1 filter
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…