Giovanna D Agostino. Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. In Balder ten Cate, Henk Zeevat, editors, Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers. Volume 4363 of Lecture Notes in Computer Science, pages 96-116, Springer, 2005. [doi]
Abstract is missing.