无意义逻辑的游戏论语义

无意义逻辑允许使用第三个真值来表达无意义命题。这些逻辑是理解程序中错误如何处理以及错误一旦出现如何在程序中传播的理想形式化工具。本文给出无意义逻辑的 Hintikka 式博弈语义并证明其正确性。我们还讨论了博弈论中一种已知求解方法——严格劣策略的迭代消去——如何与无意义逻辑的语义博弈相关联。最后，我们仅借助语义博弈扩展无意义逻辑，发展出一种新型的无意义逻辑，并为 Priest 的悖论逻辑提出一种新的博弈语义。