A Step Up in Expressiveness of Decidable Fixpoint Logics
LICS, pp. 817-826, 2016.
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
Full Text (Upload PDF)
PPT (Upload PPT)