Cargando…
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 push...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2011.
|
| Colección: | London Mathematical Society lecture note series ;
386. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (vi, 208 pages) |
| Bibliografía: | Includes bibliographical references (pages 198-202) and index. |
| ISBN: | 9781139077989 1139077988 9781139080279 113908027X 9780511981418 0511981414 1107213398 9781107213395 1283112531 9781283112536 1139075721 9781139075725 9786613112538 6613112534 1139082558 9781139082556 1139069969 9781139069960 |