A Step Up in Expressiveness of Decidable Fixpoint Logics

LICS, pp. 817-826, 2016.

Cited by: 17|Bibtex|Views17|Links
EI

Abstract:

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 retaining decidability has been very lim...More

Code:

Data:

Your rating :
0

 

Tags
Comments