22 citations · 56 across the 16 of their papers we have counts for
1 paper · 1 filter
Bartosz Jan Bednarczyk, Mikołaj Swoboda
Propositional Dynamic Logic (PDL) is a well-established modal logic of programs. Among its many extensions, the loop operator stands out for capturing the cyclic behaviour of progr…