Opening book details…
Can I read Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386) on EtoBox?
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386) by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster is a mathematics available to read on EtoBox.
What is Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386) about?
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.
Who reads Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2011
- Language
- EN
- ISBN
- 9781107213395
- Category
- mathematics
- Subjects
- Mathematics, Philosophy, Logic
- Updated
- 2026-03-25
More by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Browse all works by Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Similar books
- Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) — Jean-Yves Girard; Yves Lafont; Laurent Regnier; Linear Logic Workshop (1995)
- Synthetic Differential Topology (London Mathematical Society Lecture Note Series, Series Number 448) — Marta C. Bunge, Felipe Gago, Ana María San Luis (2018)
- Geometry and Integrability (London Mathematical Society Lecture Note Series, Series Number 295) — edited by Lionel Mason and Yavuz Nutku (2003)
- Higher Operads, Higher Categories (London Mathematical Society Lecture Note Series, Series Number 298) — Tom Leinster (2004)
- Geometric and Cohomological Group Theory (London Mathematical Society Lecture Note Series, Series Number 444) — Peter H. Kropholler, Ian J. Leary, Conchita Martínez-Pérez, Brita E. A. Nucinkis (2017)
- Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series, Series Number 382) — Jan Krajíček (2011)