Some Model Theory of Guarded Negation

J. Symb. Log., pp. 1307-1344, 2018.

Cited by: 0|Bibtex|Views8|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments