Abstract
In this paper we discuss the problem of interpolation in the alternation levels of the \(\mu \)-Calculus. In particular, we consider interpolation and uniform interpolation for the alternation free fragment, and, more generally, for the level \(\varDelta _n\) of the alternation hierarchy of the \(\mu \)-calculus.
References
Arnold, A., & Niwinski, D. (2001). Rudiments of the mu-Calculus. Amsterdam: North Holland.
D’Agostino, G., & Hollenberg, M. (2000). Logical questions concerning the \(\mu \)-calculus: Interpolation. Lyndon and Łoś-Tarski, Journal of Symbolic Logic, 65(1), 310–332.
D’Agostino, G., & Lenzi, G. (2006). On modal mu-calculus with explicit interpolants. Journal of Applied Logic, 4(3), 256–278.
Facchini, A., Venema, Y., & Zanasi, F. (2013). A characterization theorem for the alternation-free fragment of the modal \(\mu \)-calculus. In LICS ’13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 478–487.
Gutierrez, J., & Klaedtke, F. (2014). The \(\mu \)-calculus alternation hierarchy collapses over structures with restricted connectivity. Theoretical Computer Science, 560, 292–306.
Lutz, C., Seylan, I., & Wolter, F. (2012). An automata-theoretic approach to uniform interpolation and approximation in the description logic EL. Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR. Rome, Italy: AAAI Press.
Niwinski, D., & Walukiewicz, I. (1996). Games for the \(\mu \)-calculus. Theoretical Computer Science, 163(1–2), 99–116.
Santocanale, L., & Arnold, A. (2005). Ambiguous classes in \(\mu \)-calculi hierarchies. Theoretical Computer Science, 333(1–2), 265–296.
Acknowledgements
This paper has been partially supported by the GNCS-INDAM Project ‘Algoritmica per il model checking e la sintesi di sistemi safety-critica’.
The author wish to thank Michael T. Vanden Boom for pointing out various mistakes in a previous version of the paper, and the anonimous referees for being very patient and positive in spite of all these mistakes.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
D’Agostino, G. (2018). \(\mu \)-Levels of Interpolation. In: Odintsov, S. (eds) Larisa Maksimova on Implication, Interpolation, and Definability. Outstanding Contributions to Logic, vol 15. Springer, Cham. https://doi.org/10.1007/978-3-319-69917-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-69917-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69916-5
Online ISBN: 978-3-319-69917-2
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)