Wow! eBook
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386)
by: Allen L. Mann (Author), Gabriel Sandu (Author),Merlijn Sevenster (Author)
Publisher: Cambridge University Press
Edition: 1st
Publication Date: 2011-06-06
Language: English
Print Length: 216 pages
ISBN-10: 0521800560
ISBN-13: 9780521800563
Book Description
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.
Editorial Reviews
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.
