A step up in expressiveness of decidable fixpoint logics
Guardedness restrictions are one of the principal means to obtain decidable logics — operators such as negation are restricted so that the free variables are contained in an atom. While guardedness has been applied fruitfully in the setting of first-order logic, the ability to add fixpoints while re...
Main Authors: | Boom, M, Benedikt, M, Bourhis, P |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2016
|
Similar Items
-
Characterizing definability in decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2017) -
Definability and interpolation within decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2019) -
Definability and Interpolation within Decidable Fixpoint Logics
by: Michael Benedikt, et al.
Published: (2019-09-01) -
On independence-friendly fixpoint logics
by: J. C. Bradfield
Published: (2004-10-01) -
The Complexity of Independence−Friendly Fixpoint Logic
by: Bradfield, J, et al.
Published: (2007)