登入選單
返回Google圖書搜尋
其他書名
A Game-Theoretic Approach
出版Cambridge University Press, 2011-05-05
主題Mathematics / LogicPhilosophy / Logic
ISBN11394959179781139495912
URLhttp://books.google.com.hk/books?id=_ULc89HndUAC&hl=&source=gbs_api
EBookSAMPLE
註釋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.