logo
Supporting your high street Find out how »
Basket Image

Basket

Independence-Friendly Logic : A Game-Theoretic Approach, Paperback / softback Book

Description

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.

Information

  • Format: Paperback / softback
  • Pages: 216 pages, Worked examples or Exercises; 20 Line drawings, unspecified
  • Publisher: Cambridge University Press
  • Publication Date:
  • Category: Philosophy: logic
  • ISBN: 9780521149341

£62.99

£54.95

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also in the London Mathematical Society Lecture Note Series series   |  View all