A decision procedure for alternation-free modal µ-calculi

@inproceedings{Tanabe2008ADP,
  title={A decision procedure for alternation-free modal µ-calculi},
  author={Yoshinori Tanabe and Koichi Takahashi and Masami Hagiya},
  booktitle={Advances in Modal Logic},
  year={2008}
}
The alternation-free fragment of the propositional modal μ-calculus (AFμ) allows less complex decision procedure for satisfiability judgment than the full μ-calculus, yet it still has strong expressive power. In this paper, we present a concrete decision procedure with its complexity for AFμ enriched by features of nominals, backward modalities, and… CONTINUE READING