论文标题
混合逻辑的游戏 - 从语义游戏到分析曲线
Games for Hybrid Logic -- From Semantic Games to Analytic Calculi
论文作者
论文摘要
游戏语义和获奖策略提供了语义和逻辑证明系统之间的潜在概念桥梁。我们说明了混合逻辑的链接 - 模态逻辑的扩展，该逻辑允许对语言中的世界明确引用。主要的结果是，可以将所有模型中获胜策略的系统搜索都可以符合限制，从而作为证明系统进行了重新重新制定。
Game semantics and winning strategies offer a potential conceptual bridge between semantics and proof systems of logics. We illustrate this link for hybrid logic -- an extension of modal logic that allows for explicit reference to worlds within the language. The main result is that the systematic search of winning strategies over all models can be finitized and thus reformulated as a proof system.
