Abstract
In this paper we consider some basic questions regarding the extensions of modal logics with bisimulation quantifiers. In particular, we consider the relation between bisimualtion quantifiers and uniform interpolation for modal logic and the μ-calculus. We first consider these questions over the whole class of frames, and then we restrict to specific classes, where we see that the results obtained before can be easily falsified. Finally, we introduce classes of frames where we found the same good behaviour than in the whole class of frames. The results presented in this paper have been obtained in collaboration with other authors during the last years; in alphabetical order: Tim French, Marco Hollenberg, and Giacomo Lenzi.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D’Agostino, G., Hollenberg, M.: Logical questions concerning the μ-calculus. Journal of Symbolic Logic 65, 310–332 (2000)
D’Agostino, G., Lenzi, G.: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames, University of Pisa, Department of Mathematics. Mathematical Logic Section (preprint n. 1626, March 2006 )
D’Agostino, G., Lenzi, G.: On Modal μ-Calculus with Explicit Interpolants. Journal of Applied Logic (accepted for publication)
D’Agostino, G., Lenzi, G.: An axiomatization of bisimulation quantifiers via the mu-calculus. Theoretical Computer Science 338, 64–95 (2005)
D’Agostino, G., Lenzi, G., French, T.: μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics (submitted)
French, T.: Bisimulation Quantifiers for Modal Logics. PhD thesis, University of Western Australia (in preparation)
Hollenberg, M.: Logic and Bisimulation. PhD Thesis, University of Utrecht, vol. XXIV, Zeno Institute of Philosophy (1998)
Ghilardi, S., Zawadowski, M.: Sheaves, Games and Model Completions (a categorical approach to non classical propositional logics). Trends in Logic Series. Kluwer, Dordrecht (2002)
Ghilardi, S., Zawadowski, M.: Undefinability of Propositional Quantifiers in the Modal System S4. Studia Logica 55, 259–271 (1995)
Janin, D., Walukiewicz, I.: On the expressive completeness of the propositional μ-calculus w.r.t. monadic second-order logic. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 263–277. Springer, Heidelberg (1996)
Pitts, A.: On an interpretation of second-order quantification in first-order intuitionistic propositional logic. Journal of Symbolic Logic 57, 33–52 (1992)
Visser, A.: Uniform interpolation and layered bisimulation. In: Gödel ’96 (Brno, 1996). Lecture Notes Logic, vol. 6, pp. 139–164. Springer, Heidelberg (1996)
Visser, A.: Löb’s Logic Meets the mu-Calculus. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 14–25. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
D’Agostino, G. (2007). Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. In: ten Cate, B.D., Zeevat, H.W. (eds) Logic, Language, and Computation. TbiLLC 2005. Lecture Notes in Computer Science(), vol 4363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75144-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-75144-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75143-4
Online ISBN: 978-3-540-75144-1
eBook Packages: Computer ScienceComputer Science (R0)