Some Model Theory of Guarded Negation
J. Symb. Log., pp. 1307-1344, 2018.
The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that co...More
PPT (Upload PPT)