DS-2026-05: Johannes Kloibhofer Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics < Back