当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Game Theoretical Semantics for Logics of Nonsense
arXiv - CS - Logic in Computer Science Pub Date : 2020-09-23 , DOI: arxiv-2009.10878
Can Ba\c{s}kent (Department of Computer Science, Middlesex University, London)

Logics of non-sense allow a third truth value to express propositions that are \emph{nonsense}. These logics are ideal formalisms to understand how errors are handled in programs and how they propagate throughout the programs once they appear. In this paper, we give a Hintikkan game semantics for logics of non-sense and prove its correctness. We also discuss how a known solution method in game theory, the iterated elimination of strictly dominated strategies, relates to semantic games for logics of nonsense. Finally, we extend the logics of nonsense only by means of semantic games, developing a new logic of nonsense, and propose a new game semantics for Priest's Logic of Paradox.

中文翻译:

无意义逻辑的博弈论语义

无意义逻辑允许第三个真值来表达\emph{无意义}的命题。这些逻辑是理解错误在程序中如何处理以及一旦出现错误如何在整个程序中传播的理想形式。在本文中,我们给出了无意义逻辑的 Hintikkan 游戏语义并证明其正确性。我们还讨论了博弈论中一种已知的解决方法,严格支配策略的迭代消除,如何与无意义逻辑的语义博弈相关。最后,我们仅通过语义游戏的方式扩展了无意义逻辑,开发了一种新的无意义逻辑,并为Priest的悖论逻辑提出了一种新的游戏语义。
更新日期:2020-09-24
down
wechat
bug