In this article, we consider the hierarchy of the modal mu-calculus over reflexive and symmetric graphs and show that in this class the modal mu-calculus hierarchy is infinite. In the proof, a parity game over a tree is transformed into a equivalent parity game where Duplicator, when playing over the reflexive and symmetric closure of the tree, will never use loops or back edges.
On modal mu-calculus over reflexive and symmetric graphs
LENZI, Giacomo
2013-01-01
Abstract
In this article, we consider the hierarchy of the modal mu-calculus over reflexive and symmetric graphs and show that in this class the modal mu-calculus hierarchy is infinite. In the proof, a parity game over a tree is transformed into a equivalent parity game where Duplicator, when playing over the reflexive and symmetric closure of the tree, will never use loops or back edges.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
