In mathematical logic, monadic second order logic[1] (MSO) is the fragment of second-order logic where second-order quantification is over sets.
In mathematical logic, monadic second order logic[1] (MSO) is the fragment of second-order logic where second-order quantification is over sets.