Guarded negation

Vince Bárány

[0]

Balder Ten Cate

[0]

Luc Segoufin

[0]

J. ACM, Volume 62, Issue 3, 2015.

Cited by: 75|Views77

Keywords:

guarded fragmentmodel theoreticallyassociated model checking problemtree-like model propertyguarded negationMore(6+)

Abstract:

We consider restrictions of first-order logic and of fixpoint logic in which all occurrences of negation are required to be guarded by an atomic predicate. In terms of expressive power, the logics in question, called GNFO and GNFP, extend the guarded fragment of first-order logic and guarded least fixpoint logic, respectively. They also e...More

Code:

Data:

Get fulltext within 24h

View via Publisher