Propositional Dynamic Logic with Recursive Programs.

Christof Löding Olivier Serre Propositional Dynamic Logic with Recursive Programs. 292-306 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_20 db/conf/fossacs/fossacs2006.html#LodingS06