Inflationary Fixed Points in Modal Logic.

Anuj Dawar, Erich Grdel, Stephan Kreutzer

Browse the full CSL paper archive.