57 citations · 208 across the 27 of their papers we have counts for
1 paper · 1 filter
Helle Hvid Hansen, Clemens Kupke
We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong complete…