On Modal {\mu}-Calculus over Finite Graphs with Bounded Strongly Connected Components
Logic in Computer Science
2010-06-09 v1 Formal Languages and Automata Theory
Abstract
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).
Cite
@article{arxiv.1006.1406,
title = {On Modal {\mu}-Calculus over Finite Graphs with Bounded Strongly Connected Components},
author = {Giovanna D'Agostino and Giacomo Lenzi},
journal= {arXiv preprint arXiv:1006.1406},
year = {2010}
}