Johannes Kloibhofer promoveert op het proefschrift: 'Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics'. Promotor is prof. dr. Y. Venema. Copromotor is prof. B. Afshari.