Independence-Friendly Logic - A Game-Theoretic Approach (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	London Mathematical Society Lecture Note Series
Release date:	May 2011
First published:	May 2011
Authors:	Allen L. Mann • Gabriel Sandu • Merlijn Sevenster
Dimensions:	227 x 152 x 11mm (L x W x T)
Format:	Paperback - Trade
Pages:	216
ISBN-13:	978-0-521-14934-1
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-521-14934-7
Barcode:	9780521149341

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!