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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge ; New York ; Melbourne ; Madrid ; Cape Town ; Singapore ; São Paulo ; Delhi ; Tokyo ; Mexiko City
Cambridge University Press
2011
|
| Schriftenreihe: | London Mathematical Society lecture note series
386 |
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-92 DE-188 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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 |
|---|---|
| Beschreibung: | 1 Online-Ressource (vi, 208 Seiten) Diagramme |
| ISBN: | 9780511981418 |
| DOI: | 10.1017/CBO9780511981418 |