Zur Modelltheorie der Fixpunktlogik - Bosse, Uwe (1994)