Independence-Friendly Logic: A Game-theoretic Approach (BOK)
Sendes vanligvis innen 5-15 dager
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.
|Utgitt||2011||Forfatter||Allen Mann, Gabriel Sandu, Merlijn Sevenster|
CAMBRIDGE UNIVERSITY PRESS
|Antall sider||216||Dimensjoner||15,2cm x 22,8cm x 1,1cm|
|Vekt||320 gram||Leverandør||Bertram Trading Ltd|
|Emner og form||Philosophy: logic, Mathematical logic|