We do not currently know of any synonyms for monadic second-order logic.
The noun monadic second-order logic is defined as:
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.