EMSO
EMSO is the existential fragment of monadic second-order logic (MSO). It contains all MSO formulas without universal quantifiers.
EMSO is also a software package, Environment for Modelling, Simulation and Optimisation. See http://vrtech.com.br/rps/emso.html
This is a disambiguation page — a navigational aid which lists other pages that might otherwise share the same title. If an article link referred you here, you might want to go back and fix it to point directly to the intended page.
See also: EMSO, Monadic, Second-order logic, Universal quantifier
