information about Modal μ-calculus field