@inproceedings{10.1007/978-3-030-86059-2_20,
    Abstract = {We show how to construct uniform interpolants in the context of the modal mu-calculus. D'Agostino and Hollenberg (2000) were the first to prove that this logic has the uniform interpolation property, employing a combination of semantic and syntactic methods. This article outlines a purely proof-theoretic approach to the problem based on insights from the cyclic proof theory of mu-calculus. We argue the approach has the potential to lend itself to other temporal and fixed point logics.},
    Address = {Cham},
    Author = {Afshari, Bahareh and Leigh, Graham E. and Men{\'e}ndez Turata, Guillermo},
    BookTitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
    Editor = {Das, Anupam and Negri, Sara},
    File = {Uniform Interpolation from Cyclic Proofs - The Case of Modal Mu-Calculus - Afshari2021\_Chapter\_UniformInterpolationFromCyclic.pdf},
    ISBN = {978-3-030-86059-2},
    Pages = {335--353},
    Publisher = {Springer International Publishing},
    Title = {Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus},
    Year = {2021},
    date-added = {2022-02-03 12:02:48 +0100},
    date-modified = {2022-02-03 12:02:48 +0100},
    doi = {10.1007/978-3-030-86059-2_20}
}

@inproceedings{10.1007/978-3-030-86059-2_20, Abstract = {We show how to construct uniform interpolants in the context of the modal mu-calculus. D'Agostino and Hollenberg (2000) were the first to prove that this logic has the uniform interpolation property, employing a combination of semantic and syntactic methods. This article outlines a purely proof-theoretic approach to the problem based on insights from the cyclic proof theory of mu-calculus. We argue the approach has the potential to lend itself to other temporal and fixed point logics.}, Address = {Cham}, Author = {Afshari, Bahareh and Leigh, Graham E. and Men{\'e}ndez Turata, Guillermo}, BookTitle = {Automated Reasoning with Analytic Tableaux and Related Methods}, Editor = {Das, Anupam and Negri, Sara}, File = {Uniform Interpolation from Cyclic Proofs - The Case of Modal Mu-Calculus - Afshari2021_Chapter_UniformInterpolationFromCyclic.pdf}, ISBN = {978-3-030-86059-2}, Pages = {335--353}, Publisher = {Springer International Publishing}, Title = {Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus}, Year = {2021}, date-added = {2022-02-03 12:02:48 +0100}, date-modified = {2022-02-03 12:02:48 +0100}, doi = {10.1007/978-3-030-86059-2_20} }