Independence-Friendly Logic: A Game-Theoretic Approach Contributor(s): Mann, Allen L. (Author), Sandu, Gabriel (Author), Sevenster, Merlijn (Author) |
|
![]() |
ISBN: 0511981414 ISBN-13: 9780511981418 Publisher: Cambridge University Press OUR PRICE: $140.25 Product Type: Open Ebook - Other Formats Published: June 2011 |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Dewey: 511.3 |
Series: London Mathematical Society Lecture Note |
Descriptions, Reviews, Etc. |
Publisher 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. |
Contributor Bio(s): Mann, Allen L.: - Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland.Sandu, Gabriel: - Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland.Sevenster, Merlijn: - Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands. |