We gratefully acknowledge support from
the Simons Foundation and member institutions.

Robert Ganian and Stefan Szeider are qualified to endorse.

Model Checking Existential Logic on Partially Ordered Sets

Robert Ganian: Is registered as an author of this paper.
Can endorse for cs.CC, cs.CG, cs.DS, cs.LO. (why?)
Stefan Szeider: Is registered as an author of this paper.
Can endorse for cs.AI, cs.DM, cs.DS. (why?)

Simone Bova is not registered as an owner of this paper. (why?)