Independence-Friendly Logic
A Game-Theoretic Approach
Seiten
2011
Cambridge University Press (Verlag)
978-0-521-14934-1 (ISBN)
Cambridge University Press (Verlag)
978-0-521-14934-1 (ISBN)
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at the interface of logic and game theory. It is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic.
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.
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.
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.
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.
| Erscheint lt. Verlag | 5.5.2011 |
|---|---|
| Reihe/Serie | London Mathematical Society Lecture Note Series |
| Zusatzinfo | Worked examples or Exercises; 20 Line drawings, unspecified |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 152 x 227 mm |
| Gewicht | 320 g |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-521-14934-7 / 0521149347 |
| ISBN-13 | 978-0-521-14934-1 / 9780521149341 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
