On the Modal μ-Calculus Over Finite Symmetric Graphs
Keyword(s):
AbstractIn this paper we consider the alternation hierarchy of the modal μ-calculus over finite symmetric graphs and show that in this class the hierarchy is infinite. The μ-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 μ-calculus over finite symmetric graphs.
2009 ◽
Vol 74
(4)
◽
pp. 1171-1205
◽
1971 ◽
Vol 12
(1)
◽
pp. 69-74
◽
1973 ◽
Vol 74
(1)
◽
pp. 1-9
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 77
(3)
◽
pp. 729-765
◽
Keyword(s):
1986 ◽
Vol 32
(25-30)
◽
pp. 431-437
◽