Journal article

### Some model theory of Guarded Negation

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 com- putational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amena...

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

### Access Document

Files:
• (pdf, 499.0kb)
Publisher copy:
10.1017/jsl.2018.64

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
University College
Ten Cate, B More by this author
Publisher:
Association for Symbolic Logic Publisher's website
Journal:
Journal of Symbolic Logic Journal website
Volume:
83
Issue:
4
Pages:
1307-1344
Publication date:
2018-12-21
Acceptance date:
2018-10-01
DOI:
EISSN:
1943-5886
ISSN:
0022-4812
Pubs id:
pubs:924209
URN:
uri:0299874b-c0a8-4c8c-99b2-83dd99beff57
UUID:
uuid:0299874b-c0a8-4c8c-99b2-83dd99beff57
Local pid:
pubs:924209