A Game-Theoretic Approach
$76.00 ( ) USD
- Allen L. Mann, University of Tampere, Finland
- Gabriel Sandu, University of Helsinki
- Merlijn Sevenster, Philips Research Laboratories, The Netherlands
Adobe eBook Reader
Other available formats:
Looking for an examination copy?
If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact firstname.lastname@example.org providing details of the course you are teaching.
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.Read more
- Collects and systematizes results from the last 20 years
- Provides the necessary background in game theory
- Includes numerous examples and full proofs
Reviews & endorsements
"This book satisfies admirably its placement in a Lecture Notes Series. It provides a concise but full, self-contained introduction to the main work on IFL... it is very well written, with excellent intuitive exposition combined with detailed proofs."
Julian Bradfield, Bulletin of Symbolic LogicSee more reviews
"The book will definitely be interesting to a wide spectrum of logicians, philosophers, computer scientists and even linguists... the advances in the area of game-theoretical semantics and its connections to logic that are presented in this book make it very valuable and recommendable."
Walter Carnielli, Mathematical Reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity×
- Date Published: May 2011
- format: Adobe eBook Reader
- isbn: 9781139065382
- contains: 20 b/w illus.
- availability: This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of Contents
2. Game theory
3. First-order logic
4. Independence-friendly (IF) logic
5. Properties of IF logic
6. Expressive power of IF logic
7. Probabilistic IF logic
8. Further topics
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email email@example.comRegister Sign in
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.Continue ×