论文标题
时钟的力量
The power of clockings
论文作者
论文摘要
我们研究了基于游戏理论语义的Turing-Complete逻辑的表达力。通过定义逻辑的合适片段和变体，我们为某些基本模型类别的家庭获得了一系列自然表征。
We investigate the expressive power of a Turing-complete logic based on game-theoretic semantics. By defining suitable fragments and variants of the logic, we obtain a range of natural characterizations for some fundamental families of model classes.
