时钟化的力量

AI总结：

本文研究基于博弈论语义的图灵完备逻辑的表达能力，通过定义其片段与变体，为若干基本模型类族给出自然刻画。

摘要：

我们研究一种基于博弈论语义的图灵完备逻辑的表达能力。通过定义该逻辑的适当片段与变体，我们为若干基本模型类族获得了一系列自然的刻画。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。