Home » Keyword index

horn logic


Logic » Finite Model Theory

Finite entailment of Positive Horn logic ★★

Author(s): Martin

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?

Keywords: entailment; finite satisfiability; horn logic

Posted by LucSegoufin
updated June 15th, 2020
1 comment
Syndicate content