论文标题
游戏理论语义和部分规格
Game-theoretic semantics and partial specifications
论文作者
论文摘要
我们讨论了一阶逻辑FO中的部分规格以及FO的图灵完整扩展。我们比较系统的构图和游戏理论方法。
We discuss partial specifications in first-order logic FO and also in a Turing-complete extension of FO. We compare the compositional and game-theoretic approaches to the systems.
