horn logic
Finite entailment of Positive Horn logic ★★
Author(s): Martin
Question Positive Horn logic (pH) is the fragment of FO involving exactly . Does the fragment have the finite model property?
Keywords: entailment; finite satisfiability; horn logic