8 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Markus Latte
For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a…