EMSO

EMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.

This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information.