@article{JAGER2008270,
    Abstract = {This paper presents a new model construction for a natural cut-free infinitary version K{$\omega$}+({$\mu$}) of the propositional modal {$\mu$}-calculus. Based on that the completeness of K{$\omega$}+({$\mu$}) and the related system K{$\omega$}({$\mu$}) can be established directly -- no detour, for example through automata theory, is needed. As a side result we also obtain a finite, cut-free sound and complete system for the propositional modal {$\mu$}-calculus.},
    Author = {J{\"a}ger, Gerhard and Kretz, Mathis and Studer, Thomas},
    File = {Canonical completeness of infinitary {$\mu$} - 1-s2.0-S1567832608000209-main.pdf},
    ISSN = {1567-8326},
    Journal = {The Journal of Logic and Algebraic Programming},
    Note = {Logic and Information: From Logic to Constructive Reasoning},
    Number = {2},
    Pages = {270-292},
    Title = {Canonical completeness of infinitary {$\mu$}},
    URL = {https://www.sciencedirect.com/science/article/pii/S1567832608000209},
    Volume = {76},
    Year = {2008},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1567832608000209},
    bdsk-url-2 = {https://doi.org/10.1016/j.jlap.2008.02.005},
    date-added = {2022-02-04 14:29:03 +0100},
    date-modified = {2022-02-04 14:29:03 +0100},
    doi = {10.1016/j.jlap.2008.02.005}
}

@article{JAGER2008270, Abstract = {This paper presents a new model construction for a natural cut-free infinitary version K{$\omega$}+({$\mu$}) of the propositional modal {$\mu$}-calculus. Based on that the completeness of K{$\omega$}+({$\mu$}) and the related system K{$\omega$}({$\mu$}) can be established directly -- no detour, for example through automata theory, is needed. As a side result we also obtain a finite, cut-free sound and complete system for the propositional modal {$\mu$}-calculus.}, Author = {J{\"a}ger, Gerhard and Kretz, Mathis and Studer, Thomas}, File = {Canonical completeness of infinitary {$\mu$} - 1-s2.0-S1567832608000209-main.pdf}, ISSN = {1567-8326}, Journal = {The Journal of Logic and Algebraic Programming}, Note = {Logic and Information: From Logic to Constructive Reasoning}, Number = {2}, Pages = {270-292}, Title = {Canonical completeness of infinitary {$\mu$}}, URL = {https://www.sciencedirect.com/science/article/pii/S1567832608000209}, Volume = {76}, Year = {2008}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S1567832608000209}, bdsk-url-2 = {https://doi.org/10.1016/j.jlap.2008.02.005}, date-added = {2022-02-04 14:29:03 +0100}, date-modified = {2022-02-04 14:29:03 +0100}, doi = {10.1016/j.jlap.2008.02.005} }