ENGLISH

Independence-Friendly Logic: A Game-Theoretic Approach

By Allen L. Mann , Gabriel Sandu , Merlijn Sevenster

Book information

Publisher
Cambridge University Press
Year
2011
ISBN
0521149347, 978-0-521-14934-1
Language
english
Format
PDF
Filesize
3 MB (3193902 bytes)
Series
London Mathematical Society Lecture Note Series
Pages
216\216
Time added
2014-02-12 18:00:00

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

Similar books