Characterizing definability in decidable fixpoint logics

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as well as effective characterizations. Our algorithms revolve...

Full description

Bibliographic Details
Main Authors: Benedikt, M, Bourhis, P, Vanden Boom, M
Format: Conference item
Published: Schloss Dagstuhl 2017