Title: Local model checking in the Modal Mu-Calculus