Games for Inclusion Logic and Fixed-Point Logic
Games for Inclusion Logic and Fixed-Point Logic
复制标题
包含逻辑和定点逻辑的游戏
DOI：
10.1007/978-3-319-31803-5_5
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
E. Grädel
中科院分区：
文献类型：
--
作者：
E. Grädel
包含逻辑和最小不动点逻辑LFP之间的紧密联系是关于依赖逻辑和独立逻辑的最有趣的结果之一。在这里，我们从博弈论的角度重新审视这种联系。我们研究了包含逻辑和posGFP的模型检查对策，posGFP是LFP的片段，只使用（非负的）最大不动点。我们证明了这两种逻辑的评价问题可以用安全博弈中的一种特殊陷阱条件来表示。然后我们研究游戏的解释论点。结合我们对包含逻辑和posGFP陷阱的研究，博弈解释将为我们提供两种逻辑之间翻译的模型理论构建。
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. 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.
登录
查看更多内容
团队语义中的包含与排除依赖——论不完美信息的一些逻辑
影响因子：
0.8
作者：
P. Galliani
通讯作者：
P. Galliani
DOI：
--
发表时间：
2012
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
E. Grädel;J. Väänänen
通讯作者：
J. Väänänen
DOI：
10.1136/ebmh.11.4.102
发表时间：
2008-10
期刊：
Evidence Based Mental Health
影响因子：
--
作者：
P. Cochat;L. Vaucoret;J. Sarles
通讯作者：
P. Cochat;L. Vaucoret;J. Sarles
依存逻辑中的广义量词
DOI：
--
发表时间：
2011
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
F. Engström
通讯作者：
F. Engström
关于最小不动点的 Skolem 范式
DOI：
--
发表时间：
1987
期刊：
Computation Theory and Logic
影响因子：
--
作者：
E. Dahlhaus
通讯作者：
E. Dahlhaus