DS-2026-05: Johannes Kloibhofer Cycles with Annotations: Non-Wellfounded Proof Theory of Modal Fixpoint Logics 1.Full Text, 2.Abstract, 3.Samenvatting. < Back