Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series 386)

Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series 386)

By: Allen Mann (author), Gabriel Sandu (author), Merlijn Sevenster (author)Paperback

2 - 4 weeks availability

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.

Create a review

About Author

Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland. Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland. Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands.

Contents

Preface; 1. Introduction; 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; References; Index.

Product Details

  • publication date: 05/05/2011
  • ISBN13: 9780521149341
  • Format: Paperback
  • Number Of Pages: 216
  • ID: 9780521149341
  • weight: 320
  • ISBN10: 0521149347

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close