Giacomo Lenzi

• The mu-calculus and the hierarchy problem