UniSa - IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishAbstract 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:
http://hdl.handle.net/11386/4037453
Copyright © 2020