Journal article icon

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...

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

Actions


Access Document


Files:
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

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP