The subject of this thesis is the proof theory of logics with fixed points, such as the μ-calculus, linear-logic with fixed points, etc. These logics are usually equipped with finitary deductive systems that rely on Park’s rules for induction. other proof systems for these logics exist, which rely on infinitary proofs, but they are much less developped… (More)