Independence-Friendly Logic
Independence-Friendly Logic
Gabriel Sandu, University of Helsinki
Merlijn Sevenster, Philips Research Laboratories, The Netherlands
$85.99
USDBringing 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.
- Collects and systematizes results from the last 20 years
- Provides the necessary background in game theory
- Includes numerous examples and full proofs
Reviews & endorsements
'… well-written and a valuable source for anyone interested in game-theoretic approaches to logic and in the emergent logical study of dependence and independence phenomena.' Theory and Practice of Logic Programming
Product details
May 2011Adobe eBook Reader
9781139065382
0 pages
0kg
20 b/w illus.
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Table of 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.
