Inflationary Fixed Points in Modal Logics - Dawar, A; Grädel, E; Kreutzer, S (2004)