Independence-friendly logic : a game-theoretic approach / Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

Sandu, Gabriel *1954-* [VerfasserIn] ; Sevenster, Merlijn [VerfasserIn]

Englisch

Cambridge : Cambridge University Press, 2011. (Original: 2011)

1 Online-Ressource (vi, 208 pages) : digital, PDF file(s).

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Erscheint auch als: Independence-friendly logic. - Cambridge [u.a.] : Cambridge Univ. Press, 2011. - VI, 208 S.

Print version: ISBN 9780521149341

978-0-511-98141-8 : ebook

Weitere Ausgaben: 978-0-521-14934-1 (Druckausgabe) paperback, 978-0-521-14934-1 (Druckausgabe), 978-0-521-14934-1 (andere physische Form) : paperback

DOI: 10.1017/CBO9780511981418

*Spieltheorie / Peano-Arithmetik / Prädikatenlogik / Stufe 1

*First-order logic. ; Game theory. ; Game theory ; First-order logic

*First-order logic ; Game theory ; First-order logic ; Game theory

Klassifikation der Library of Congress: BC128

Dewey Dezimal-Klassifikation: 511.3

Regensburger Verbund-Klassifikation: SI 320: SA-SP Mathematik / SI Schriftenreihen / London Mathematical Society: Lecture notes series

Mathematics Subject Classification: *03-02

Mathematics Subject Classification: 03B60

Mathematics Subject Classification: 91A80

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.

Machine generated contents note

https://zbmath.org/?q=an:1218.03002 [Zentralblatt MATH]

Elektronische Ressource - Nutzung mit Bibliotheksausweis der Staatsbibliothek zu Berlin

Temporär im Bestand der Staatsbibliothek