# finite satisfiability

## Finite entailment of Positive Horn logic ★★

Author(s): Martin

\begin{question} Positive Horn logic (pH) is the fragment of FO involving exactly $\exists, \forall, \wedge, =$. Does the fragment $pH \wedge \neg pH$ have the finite model property? \end{question}

Keywords: entailment; finite satisfiability; horn logic