Central and East European
Society for Phenomenology

Repository | Series | Book | Chapter

201649

On semantic games for Łukasiewicz logic

Christian G. Fermüller Ondrej Majer

pp. 263-278

Abstract

We explore different ways to generalize Hintikka's classic game theoretic semantics to a many-valued setting, where the unit interval is taken as the set of truth values. In this manner a plethora of characterizations of Łukasiewicz logic arise. Among the described semantic games is Giles's dialogue and betting game, presented in a manner that makes the relation to Hintikka's game more transparent. Moreover, we explain a so-called explicit evaluation game and a "bargaining game" variant of it. We also describe a recently introduced backtracking game as well as a game with random choices for Łukasiewicz logic.

Publication details

Published in:

van Ditmarsch Hans, Sandu Paul-Gabriel (2018) Jaakko Hintikka on knowledge and game-theoretical semantics. Dordrecht, Springer.

Pages: 263-278

DOI: 10.1007/978-3-319-62864-6_10

Full citation:

Fermüller Christian G., Majer Ondrej (2018) „On semantic games for Łukasiewicz logic“, In: H. Van Ditmarsch & P.-G. Sandu (eds.), Jaakko Hintikka on knowledge and game-theoretical semantics, Dordrecht, Springer, 263–278.