Existential monadic second-order logic, a fragment of second-order logic in which all second-order quantifiers must be existential quantifiers over sets
Topics referred to by the same term
This disambiguation page lists articles associated with the title EMSO. If an internal link led you here, you may wish to change the link to point directly to the intended article.