Invited Talk: Giovanna d'Agostino
Uniform Interpolation in Modal Logics: the approach via Bisimulation
Quantifiers and Fixed Points
In this talk we survey some results on the relationship between Uniform
Interpolation
(a strong variant of Crag Interpolation), Bisimulation Quantifiers,
and Modal Fixed Point Logics.
By using the notion of bisimulation quantifiers (a kind of
propositional quantifier where the quantification
is extended to all models bisimilar to the given one), we find a
class of modal logics where the uniform interpolants of
modal formulae can always be found in the fixed points extension of
the logic.