Independence-Friendly Logic A Game-Theoretic Approach

Mann, Allen L. & Sandu, G. & Sevenster, M.

ISBN 10: 0521149347 / ISBN 13: 9780521149341

Published by :London Mathematical Society, UK, 2011

About this Item

Suitable for graduate students who have taken a course on first-order logic. 208 pages.; 6 x 9 ''.

Seller Inventory # 96718

Bibliographic Details

• Title: Independence-Friendly Logic A Game-Theoretic Approach
• Publisher: :London Mathematical Society, UK
• Publication Date: 2011
• Language: English
• ISBN 10: 0521149347
• ISBN 13: 9780521149341
• Binding: Paperback
• Edition: Lecture Note Series 386.
• Condition: As New
• Seller catalogs:
  • Science, Physical Sciences, & Math

About this title

Synopsis

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.

About the Authors

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.