2020/09/23 by Can Başkent
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.326.5
published as EPTCS 326, 2020, pp. 66-81 · In Proceedings GandALF 2020, arXiv:2009.09360
arxiv created 2020/09/23 · arxiv updated 2020/09/24
Logics of non-sense allow a third truth value to express propositions that are 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.