Decomposition Theorems and Model-Checking for the Modal $\mu$-Calculus

Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer

We prove a general decomposition theorem for the modal $\mu$-calculus $L_{\mu }$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a struc…