Raul Antonio Cristovão dos Santos

Recently, extensions of Hintikka's game-theoretical semantics, originally developed to compute the value of first-order logic's formulas, have been proposed for the three-valued weak and strong Kleene logics. However, the solutions found to handle the third value present in these logics are unsatisfactory, both from the perspective of game theory and from the semantic viewpoint. The aim of our research is to develop a Hintikka-style game-theoretical semantics for the weak and strong Kleene logic that makes better use of the resource of game theory, and to investigate the possibility of using the same approach for other many-valued logics.