HUDU

Independence-Friendly Logic

Jetzt
€ 66,99
Bisher € 68,99
 
pdf eBook
Sofort lieferbar (Download)
Mai 2011

Beschreibung

Beschreibung

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.
EAN: 9781139065382
Untertitel: A Game-Theoretic Approach. Sprache: Englisch.
Verlag: Cambridge University Press
Erscheinungsdatum: Mai 2011
Format: pdf eBook
Kopierschutz: Adobe DRM
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben