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...
| Otros Autores: | , , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press
2011.
|
| Colección: | CUP ebooks.
London Mathematical Society lecture note series ; 386. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b42014165*spi |
| 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. |
|---|---|
| Notas: | Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
| Descripción Física: | 1 recurso electrónico (vi, 208 p.) |
| Formato: | Forma de acceso: World Wide Web. |
| ISBN: | 9780511981418 |
