The noun monadic second-order logic can be countable or uncountable.
The singular form of monadic second-order logic is also monadic second-order logic.