On Semantic Games for Łukasiewicz Logic

Kód výsledku v IS VaVaI

RIV/67985807:_____/18:00495556 - isvavai.cz

Výsledek na webu

https://link.springer.com/chapter/10.1007%2F978-3-319-62864-6_10

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

On Semantic Games for Łukasiewicz Logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

On Semantic Games for Łukasiewicz Logic

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

—

OECD FORD obor

50201 - Economic Theory

Projekt

GAP402/12/1309: Vícehodnotový přístup k optimům a ekvilibriím v ekonomii

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics

ISBN

978-3-319-62863-9

Počet stran výsledku

16

Strana od-do

263-278

Počet stran knihy

632

Název nakladatele

Springer

Místo vydání

Cham

Kód UT WoS kapitoly

000442073900010