Independence-Friendly Logic

A Game-Theoretic Approach

Gabriel Sandu author Allen L Mann author Merlijn Sevenster author

Format:Paperback

Publisher:Cambridge University Press

Published:5th May '11

Currently unavailable, and unfortunately no date known when it will be back

Independence-Friendly Logic cover

A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic, an exciting logical formalism at the interface of logic and game theory. It is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic.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.

'… well-written and a valuable source for anyone interested in game-theoretic approaches to logic and in the emergent logical study of dependence and independence phenomena.' Theory and Practice of Logic Programming

ISBN: 9780521149341

Dimensions: 227mm x 152mm x 11mm

Weight: 320g

216 pages