Independence-Friendly Logic

By Gabriel Sandu, Allen L. Mann, Merlijn Sevenster

Book Overview

Bringing together over 20 year research, this books gives a complete overview of independence friendly logic. It emphasizes the games theoretic approach to logic accorging to which logical concepts such as truth and falsity are understand the notion of semantic games. The books purshes the paradigm of games theoretic semantires further then the current literture by showing low mixed strategies and equilbria 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. Book jacket.

• Format: Paperback
• Language: English
• ISBN: 0521149347
• ISBN13: 9780521149341
• Release Date: June 2011
• Publisher: Cambridge University Press
• Length: 216 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.5" x 5.9" x 8.8"