On the Infinitary Proof Theory of Logics With Fixed Points