Umfang:
1 Online-Ressource (vi, 208 Seiten) :
,
Diagramme.
ISBN:
978-0-511-98141-8
Serie:
London Mathematical Society lecture note series 386
Inhalt:
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
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-0-521-14934-1
Sprache:
Englisch
Fachgebiete:
Mathematik
,
Philosophie
Schlagwort(e):
Spieltheorie
;
Prädikatenlogik
;
Stufe 1
;
Lehrbuch
DOI:
10.1017/CBO9780511981418
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
https://doi.org/10.1017/CBO9780511981418
URL:
https://doi.org/10.1017/CBO9780511981418
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink