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
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!