Games for Inclusion Logic and Fixed-Point Logic [chapter]

Erich Grädel
2016 Dependence Logic  
One of the most intriguing results on logics of dependence and independence is the tight connection between inclusion logic and the least fixed-point logic LFP. Here we re-examine this connection from a game-theoretic point of view. We study the model-checking games for inclusion logic and for posGFP, the fragment of LFP that uses only (non-negated) greatest fixed points. We show that the evaluation problems for both logics can be represented by a special kind of trap condition in safety games.
more » ... We then study interpretation arguments for games. In combination with our study of traps for inclusion logic and posGFP, game interpretations will give us a model-theoretic construction of translations between the two logics
doi:10.1007/978-3-319-31803-5_5 fatcat:tn7wxvmcmfb5hfd673ycczeqnq