The subject of this thesis is the Mu-calculus, which nowadays represents a very active research areaProducator: SPRINGER VERLAG GMBH