A Game Theoretical Semantics for Logics of Nonsense
Logic in Computer Science
2020-09-24 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2009.10878,
title = {A Game Theoretical Semantics for Logics of Nonsense},
author = {Can Başkent},
journal= {arXiv preprint arXiv:2009.10878},
year = {2020}
}
Comments
In Proceedings GandALF 2020, arXiv:2009.09360