Abstract In this paper we consider the alternation hierarchy of the modal mu-calculus over finite symmetric graphs and show that in this class the hierarchy is infinite. The mu-calculus over the symmetric class does not enjoy the finite model property, hence this result is not a trivial consequence of the strictness of the hierarchy over symmetric graphs. We also find a lower bound and an upper bound for the satisfiability problem of the mu-calculus over finite symmetric graphs.
Titolo: | On the Modal mu-calculus over finite symmetric graphs |
Autori: | |
Data di pubblicazione: | 2015 |
Rivista: | |
Handle: | http://hdl.handle.net/11386/4037453 |
Appare nelle tipologie: | 1.1.2 Articolo su rivista con ISSN |
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.