Some Model Theory of Guarded Negation

JOURNAL OF SYMBOLIC LOGIC, pp. 1307-1344, 2018.

Cited by: 0|Views25
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