0495556 - ÚI 2019 RIV CH eng M - Monography Chapter
Fermüller, C. - Majer, Ondrej
On Semantic Games for Łukasiewicz Logic.
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. Cham: Springer, 2018 - (van Ditmarsch, H.; Sandu, G.), s. 263-278. Outstanding Contributions to Logic, 12. ISBN 978-3-319-62863-9
R&D Projects: GA ČR GAP402/12/1309
Grant - others:Austrian Science Fund(AT) P25417-G15
Institutional support: RVO:67985807
Keywords : Game-theoretic semantics * Dialogue games * Many-valued logics
OECD category: Economic Theory
Result website:
https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10
DOI: https://doi.org/10.1007/978-3-319-62864-6_10

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.

Permanent Link: http://hdl.handle.net/11104/0288512