English Monadic second-order logic Cited by user Vkuncak on 16 Oct 2020 In mathematical logic, monadic second-order logic (MSO) is the fragment of second-order logic where the second-order quantification is limited to quantification over sets.