Invited Talk: Giacomo Lenzi
On the expressive power of the modal mu-calculus over transitive graphs
We will discuss the problem of giving a tight estimate of the collapse
of the alternation hierarchy of the modal mu-calculus over transitive graphs
(such a collapse does happen, unlike over arbitrary graphs, where the
hierarchy is infinite).
This talk is based on joint work with Giovanna D'Agostino.