The noun monadic second-order logic can be countable or uncountable.

In more general, commonly used, contexts, the plural form will also be monadic second-order logic.

However, in more specific contexts, the plural form can also be monadic second-order logics e.g. in reference to various types of monadic second-order logics or a collection of monadic second-order logics.