@article{D_Agostino_2006,
    doi = {10.3166/jancl.16.297-309},
    url = {https://doi.org/10.3166%2Fjancl.16.297-309},
    year = {2006},
    month = {jan},
    publisher = {Informa {UK} Limited},
    volume = {16},
    number = {3-4},
    pages = {297--309},
    author = {Giovanna D'Agostino and Giacomo Lenzi and Tim French},
    title = {{$\mu$}-programs, uniform interpolation and bisimulation quantifiers for modal logics},
    journal = {Journal of Applied Non-Classical Logics}
}

@article{D_Agostino_2006, doi = {10.3166/jancl.16.297-309}, url = {https://doi.org/10.3166%2Fjancl.16.297-309}, year = {2006}, month = {jan}, publisher = {Informa {UK} Limited}, volume = {16}, number = {3-4}, pages = {297--309}, author = {Giovanna D'Agostino and Giacomo Lenzi and Tim French}, title = {{$\mu$}-programs, uniform interpolation and bisimulation quantifiers for modal logics}, journal = {Journal of Applied Non-Classical Logics} }