@misc{indiciae4a12c811b79c, title = {Completeness of Flat Coalgebraic Fixpoint Logics}, author = {Lutz Schröder and Yde Venema}, year = {2016}, doi = {10.1007/978-3-642-15375-4\_36}, url = {https://arxiv.org/abs/1004.2717}, note = {Source identifier: 1004.2717} }