PlumX Metrics
Embed PlumX Metrics

On modal μ-calculus over finite graphs with small components or small tree width

International Journal of Foundations of Computer Science, ISSN: 0129-0541, Vol: 23, Issue: 3, Page: 627-647
2012
  • 0
    Citations
  • 0
    Usage
  • 2
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Conference Paper Description

This paper is a continuation and correction of a paper presented by the same authors at the conference GANDALF 2010. We consider the Modal μ-calculus and some fragments of it. For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k, and the class TWk of all finite graphs of tree width at most k. As upper bounds, we show that for every k, the temporal logic CTL* collapses to alternation free μ-calculus in SCCk; and in TW1, the winning condition for parity games of any index n belongs to the level of Modal μ-calculus. As lower bounds, we show that Büchi automata are not closed under complement in TW2 and coBüchi nondeterministic and alternating automata differ in TW1. © 2012 World Scientific Publishing Company.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know