TY - RPRT TI - Filtration and canonical completeness for continuous modal mu-calculi AU - Jan Rooduijn AU - Yde Venema PY - 2021 DO - 10.4204/eptcs.346.14 UR - https://arxiv.org/abs/2109.08321 ID - 2109.08321 ER -