The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.

Leonardo Pacheco, Kazuyuki Tanaka

Browse the full WoLLIC paper archive.