混合逻辑的游戏——从语义游戏到分析演算
计算机科学中的逻辑
2022-06-02 v1
摘要
博弈语义与获胜策略为逻辑的语义与证明系统之间提供了潜在的概念桥梁。我们针对混合逻辑——一种允许在语言中显式指涉世界的模态逻辑扩展——阐明这一联系。主要结果是,在所有模型上系统性搜索获胜策略可被有限化,从而重新表述为一个证明系统。
引用
@article{arxiv.2206.00349,
title = {Games for Hybrid Logic -- From Semantic Games to Analytic Calculi},
author = {Robert Freiman},
journal= {arXiv preprint arXiv:2206.00349},
year = {2022}
}
备注
17 pages, 2 figures, WoLLIC