论文标题
关于胡说八道的游戏理论语义
A Game Theoretical Semantics for Logics of Nonsense
论文作者
论文摘要
非义务的逻辑允许第三个真实价值表达\ emph {nonsense}的命题。这些逻辑是理想的形式主义，可以理解程序中如何处理错误，以及它们一旦出现的程序如何在整个程序中传播。在本文中，我们为无意义的逻辑提供了Hintikkan游戏语义，并证明了其正确性。我们还讨论了游戏理论中已知的解决方案方法，即迭代的消除严格主导的策略，与胡说八道的语义游戏有关。最后，我们只通过语义游戏扩展了胡说八道的逻辑，开发了新的胡说八道逻辑，并为Priest的Paradox逻辑提出了一种新的游戏语义。
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.
