{"product_id":"independence-friendly-logic-a-game-theoretic-approach-paperback-9780521149341","title":"Independence-Friendly Logic; A Game-Theoretic Approach (Paperback) 9780521149341","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eIndependence-Friendly Logic\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003eA Game-Theoretic Approach\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eA systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eAllen L. Mann (Author), Gabriel Sandu (Author), Merlijn Sevenster (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521149341, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 5 May 2011\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e216 pages, 20 b\/w illus.\u003cbr\u003e22.7 x 15.2 x 1.1 cm, 0.32 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e'… 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\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eBringing 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e 1. Introduction\u003cbr\u003e 2. Game theory\u003cbr\u003e 3. First-order logic\u003cbr\u003e 4. Independence-friendly (IF) logic\u003cbr\u003e 5. Properties of IF logic\u003cbr\u003e 6. Expressive power of IF logic\u003cbr\u003e 7. Probabilistic IF logic\u003cbr\u003e 8. Further topics\u003cbr\u003e References\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e], Philosophy: logic [\u003ca title=\"See our other books on Philosophy: logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy:%20logic%20%5BHPL%5D%22\"\u003eHPL\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46005938553112,"sku":"9780521149341","price":53.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521149341i_c9e01697-d7d3-42b7-984a-18ff72892091.jpg?v=1691372621","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/independence-friendly-logic-a-game-theoretic-approach-paperback-9780521149341","provider":"Freshly Printed Books","version":"1.0","type":"link"}