DS-2023-11: Guillermo Menéndez Turata Cyclic Proof Systems for Modal Fixpoint Logics 1.Full Text, 2.Abstract, 3.Samenvatting. < Back
