Bokus
Allen L. Mann, Gabriel Sandu, Merlijn Sevenster - Independence-Friendly Logic, Häftad

Häftad, Engelska, 2011

Independence-Friendly Logic

A Game-Theoretic Approach

Av Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

Del 386 i serien London Mathematical Society Lecture Note Series

1188 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning
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.
Produktinformation
Utforska kategorier
Mer om författaren

Allen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland. Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland. Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands.

Recensioner i media

'… well-written and a valuable source for anyone interested in game-theoretic approaches to logic and in the emergent logical study of dependence and independence phenomena.' Theory and Practice of Logic Programming

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.

Mer från samma serie