  We characterize the expressive power of the modal mu-calculus on monotone
neighborhood structures, in the style of the Janin-Walukiewicz theorem for the
standard modal mu-calculus. For this purpose we consider a monadic second-order
logic for monotone neighborhood structures. Our main result shows that the
monotone modal mu-calculus corresponds exactly to the fragment of this
second-order language that is invariant for neighborhood bisimulations.
