A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics

Abstract

Hintikka’s game theoretical approach to semantics has been successfully applied also to some non-classical logics. A recent example is Başkent (A game theoretical semantics for logics of nonsense, 2020. arXiv:2009.10878), where a game theoretical semantics based on three players and the notion of dominant winning strategy is devised to fit both Bochvar and Halldén’s logics of nonsense, which represent two basic systems of the family of weak Kleene logics. In this paper, we present and discuss a new game theoretic semantics for Bochvar and Halldén’s logics, GTS-2, and show how it generalizes to a broader family of logics of variable inclusions.