Fixpoint alternation: arithmetic, transition systems, and the binary tree - Bradfield, J. C. (RAIRO. Informatique théorique et applications, 1999)
Keywords: 03D55; 03D70; 03D80; 68Q60; alternation; Applied sciences; Computer science; control theory; systems; Exact sciences and technology; Fixpoints; Logic and foundations; Mathematical logic, foundations, set theory; Mathematics; modal logic; mu-calculus; Recursion theory; Sciences and techniques of general use; Software; Software engineering; Fixed point alternation hierarchy; Fix point; Binary tree; Duality; Modal logic; Hennessy Milner logic; Fixed point operator; Mu calculus