Independence-Friendly logic: a game-theoretic approach

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. INDICE: 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.

• ISBN: 978-0-521-14934-1
• Editorial: Cambridge University
• Encuadernacion: Rústica
• Páginas: 216
• Fecha Publicación: 01/05/2011
• Nº Volúmenes: 1
• Idioma: Inglés