Fragments of first-order logic / Ian Pratt-Hartmann.
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. For which fragments of first-order logic is there an effective method for determining satisfiability or finite satisfiability? Furthermore, if these proble...
Full description
Saved in: