Logical Questions concerning the mu-calculus