English Monadic second-order logic Cited by user A3nm on 23 May 2019 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.