@article{lmcs:4356, title = {$\aleph_1$ and the modal $\mu$-calculus}, author = {Maria João Gouveia and Luigi Santocanale}, url = {https://lmcs.episciences.org/4356}, doi = {10.23638/LMCS-15(4:1)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 4}, eid = 1, year = {2019}, month = {Oct}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Logic, 03D70, 03B45, 03B70, F.4.1}, }