Some Results on Propositional Dynamic Logic with Fixed Points.

Igor Rents, Nikolay V. Shilov

Browse the full LFCS paper archive.