IJCAI paper "A dynamic logic of normative systems" by A. Herzig, E. Lorini, F. Moisan, N. Troquard (submission 1161)


The claim of Theorem 1 saying that PDL-PA is PSPACE-complete is false. In a corrected version of the paper (accessible at http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html), we have restricted the logic to the star-free fragment. This version is indeed PSPACE-complete. This is the only difference between the two versions.