Independence-Friendly Logic

Erscheinungsjahr 2011
ISBN: 978-0-521-14934-1
Verlag: Cambridge University Press

Buch, Englisch, Band 386, 216 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 358 g

Reihe: London Mathematical Society Lecture Note Series

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.

Autoren/Hrsg.

Mann, Allen L.

Sandu, Gabriel

Sevenster, Merlijn

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Operations Research Spieltheorie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

Preface; 1. Introduction; 2. Game theory; 3. First-order logic; 4. Independence-friendly (IF) logic; 5. Properties of IF logic; 6. Expressive power of IF logic; 7. Probabilistic IF logic; 8. Further topics; References; Index.

Über Autor(innen)

Mann, Allen L.
Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland.

Sevenster, Merlijn
Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands.

Sandu, Gabriel
Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland.