TY  - GEN
TY  - GEN
T1  - Independence-friendly logic : a game-theoretic approach
T2  - London Mathematical Society lecture note series
A1  - Mann, Allen L.
A1  - Sandu, Gabriel, kirjoittaja
A1  - Sevenster, Merlijn, kirjoittaja
LA  - eng
PP  - Cambridge
PB  - Cambridge University Press
YR  - 2011
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.2137499
AB  - Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.
SN  - 978-0-521-14934-1 paperback
KW  - Game theory.
KW  - First-order logic.
KW  - matemaattinen logiikka
KW  - peliteoria
KW  - matematisk logik
KW  - spelteori
ER  -