迈向句法认识逻辑
摘要：传统上，认知逻辑使用单一模型来表示认知场景。然而，这只涵盖了完整描述，即指定所有断言的真值。事实上，许多认知描述并不完整。句法认知逻辑（SEL）建议将认知情景视为一组句法条件而非模型。这使我们能够自然地捕捉到不完整的描述；我们讨论了一个案例研究，证明了我们的提议的成功。在认知博弈论中，这消除了R. Aumann所指出的游戏描述的句法特征和语义表示之间的概念和技术差距。
作者：Sergei Artemov
论文ID：2205.13145
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22