http://openproblemgarden.org/op/finite_satisfiability_of_positive_horn_logic_entailment Comments for "Finite entailment of Positive Horn logic" en http://openproblemgarden.org/op/finite_satisfiability_of_positive_horn_logic_entailment#comment-93644 <p>Solved in LICS 2017 "Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries"</p> Mon, 15 Jun 2020 16:27:19 +0200 Anonymous comment 93644 at http://openproblemgarden.org http://openproblemgarden.org/op/finite_satisfiability_of_positive_horn_logic_entailment <table cellspacing="10"> <tr> <td> Author(s): <a href="/category/martin_barnaby">Martin</a>&nbsp;&nbsp; </td> <td align=right> Subject: <a href="/category/logic">Logic</a> » <a href="/category/finite_model_theory">Finite Model Theory</a>&nbsp;&nbsp; </td> </tr> <tr> <td colspan=2> <table border=1 cellspacing="5"> <tr><td> <div class="envtheorem"><b>Question</b>&nbsp;&nbsp; Positive Horn logic (pH) is the fragment of FO involving exactly <img class="teximage" src="/files/tex/daf2de7da53fbeafe84535aa54eb026a1b767f3d.png" alt="$ \exists, \forall, \wedge, = $" />. Does the fragment <img class="teximage" src="/files/tex/1483dab6c9b23872227df3bb1f2a487c3f552f34.png" alt="$ pH \wedge \neg pH $" /> have the finite model property? </div> </tr></td> </table> </td> </tr> </table> Martin, Barnaby entailment finite satisfiability horn logic Logic Finite Model Theory http://openproblemgarden.org/op/finite_satisfiability_of_positive_horn_logic_entailment#comment Fri, 21 Sep 2012 11:47:59 +0200 LucSegoufin 37863 at http://openproblemgarden.org