TY - BOOK ID - 7137436 TI - Independence-friendly logic AU - Mann, Allen L AU - Sandu, Gabriel AU - Sevenster, Merlijn PY - 2011 VL - 386 SN - 9780521149341 0521149347 9780511981418 9781139077989 1139077988 9781139080279 113908027X 0511981414 1107213398 1283112531 1139075721 9786613112538 1139082558 1139069969 9781107213395 9781283112536 9781139075725 6613112534 9781139082556 9781139069960 PB - Cambridge New York Cambridge University Press DB - UniCat KW - First-order logic KW - Game theory KW - First-order logic. KW - Game theory. KW - Logic, Modern KW - Logic, Symbolic and mathematical KW - Games, Theory of KW - Theory of games KW - Mathematical models KW - Mathematics KW - Mathematical Sciences KW - General and Others UR - https://www.unicat.be/uniCat?func=search&query=sysid:7137436 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. ER -