DS-2024-01: Jan Rooduijn Fragments and Frame Classes: Towards a Uniform Proof Theory for Modal Fixed Point Logics 1.Full Text, 2.Abstract, 3.Samenvatting. < Back