MoL-2021-01: Lukas Zenger Proof theory for fragments of the modal mu-calculus 1.Full Text, 2.Abstract. < Back