{"title":"Johan Van Benthem","description":"\u003cp\u003eExplore the world of Johan van Benthem, a leading figure in logic, philosophy, and computer science. Delve into his works on reasoning, game theory, and the dynamics of information. Browse now!\u003c\/p\u003e","products":[{"product_id":"modal-logic-for-open-minds-book-johan-van-benthem-9781575865980","title":"Modal Logic for Open Minds","description":"In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49733074747665,"sku":"NGR9781575865980","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51695403991313,"sku":"CIN157586598XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":52524034457873,"sku":"CIN157586598XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/157586598X.jpg?v=1750862290"},{"product_id":"handbook-of-logic-language-book-johan-van-benthem-9780262220538","title":"Handbook of Logic \u0026 Language","description":"\u003cp\u003e\u003cb\u003eThe twenty chapters in this book show both sides of the interaction between logic and language: how logical systems are designed and modified in response to linguistic needs, and how mathematical theory arises out of this process and affects subsequent linguistic theory.\u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eThe combined study of logic and language goes back at least as far as the Middle Ages. In the last twenty-five years it has gained momentum with the formulation of Montague semantics and Generative Syntax, and the subsequent diversification of research programs. The Handbook of Logic and Language is the first comprehensive survey of the field. The twenty chapters show both sides of the interaction between logic and language: how logical systems are designed and modified in response to linguistic needs, and how mathematical theory arises out of this process and affects subsequent linguistic theory.\u003c\/p\u003e\u003cp\u003e\u003cb\u003eContributors\u003c\/b\u003e\u003cbr\u003eN. Asher, D. Beaver, W. Buszkowski, D. de Jongh, J. E. Fenstad, J. Groenendijk, H. Hendriks, J. Higginbotham, J. Hintikka, T. M. V. Janssen, H. Kamp, E. J. Keenan, J. T. L nning, E. Martin, M. J. Moortgat, L. S. Moss, R. Muskens, D. Osherson, B. H. Partee, F. J. Pelletier, W. C. Rounds, G. Sandu, J. Seligman, M. Steedman, M. Stokhof, R. H. Thomason, R. Turner, J. van Benthem, J. van Eijck, A. Visser, D. Westerst hl\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50346373120273,"sku":"CIN0262220539G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0262220539.jpg?v=1750974228"},{"product_id":"logic-across-the-university-book-johan-van-benthem-9781848901223","title":"Logic Across the University","description":"Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues representing a wide range of disciplines, including philosophy, mathematics, linguistics computer science, cognitive science, and the social sciences. The focus of this encounter is not only to advance logic in its university-wide role but also to look for its application in modern society.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51192804409617,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51192807031057,"sku":"NIN9781848901223","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52146866815249,"sku":"NLS9781848901223","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1848901224.jpg?v=1751412429"},{"product_id":"logic-information-and-agency-book-johan-van-benthem-9780937073032","title":"Logic, Information and Agency","description":"A systematic study of information dynamics that extends beyond what is found in standard logic textbooks.   Everything we do is driven by information, but the dynamic process of acquiring information and adjusting our views based on it has seldom been put at the center place in logic, and there are few textbooks introducing readers to this line of work. The present book introduces the reader to major logical techniques for studying information dynamics and interaction between agents, based on a variety of intuitive scenarios as well as recent research. Readers will learn styles of modeling, as well as the basic features of the new logical systems emanating from this line of work. All the separate strands in the book are brought together in a comprehensive study of information flow and action in games, forming a logic-based complement to standard perspectives in game theory.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51596124356881,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51596124553489,"sku":"NGR9780937073032","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0937073032.jpg?v=1757416970"},{"product_id":"games-norms-and-reasons-book-johan-van-benthem-9789400707139","title":"Games, Norms and Reasons","description":"Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52134683869457,"sku":"NLS9789400707139","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763762295057,"sku":"NIN9789400707139","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400707139.jpg?v=1757544508"},{"product_id":"proof-computation-and-agency-book-johan-van-benthem-9789400700796","title":"Proof, Computation and Agency","description":"Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138269671697,"sku":"NLS9789400700796","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400700796.jpg?v=1757561743"},{"product_id":"logic-of-time-book-johan-van-benthem-9789401098700","title":"The Logic of Time","description":"That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter's mono- poly on the logical study of Time. Finally, a set of lecture notes by Frank Veltman showed me how classical model theory is just as relevant to that study as more exotic intensional techniques. Of the authors whose work inspired me most, I would mention Arthur Prior, for his irresistible blend of logic and philosophy, Krister Segerberg, for his technical opening up of a systematic theory, and Hans Kamp, for his mastery of all these things at once. Many colleagues have made helpful comments on the two previous versions of this text. I would like to thank especially my students Ed Brinksma, Jan van Eyck and Wilfried Meyer-Viol for their logical and cultural criticism. The drawings were contributed by the versatile Bauke Mulder. Finally, Professor H intikka's kind appreciation provided the stimulus to write this book.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143558983953,"sku":"NLS9789401098700","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789401098700.jpg?v=1757585021"},{"product_id":"logic-of-time-book-johan-van-benthem-9780792310815","title":"The Logic of Time","description":"That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter's mono- poly on the logical study of Time. Finally, a set of lecture notes by Frank Veltman showed me how classical model theory is just as relevant to that study as more exotic intensional techniques. Of the authors whose work inspired me most, I would mention Arthur Prior, for his irresistible blend of logic and philosophy, Krister Segerberg, for his technical opening up of a systematic theory, and Hans Kamp, for his mastery of all these things at once. Many colleagues have made helpful comments on the two previous versions of this text. I would like to thank especially my students Ed Brinksma, Jan van Eyck and Wilfried Meyer-Viol for their logical and cultural criticism. The drawings were contributed by the versatile Bauke Mulder. Finally, Professor H intikka's kind appreciation provided the stimulus to write this book.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52327490519313,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52327491371281,"sku":"NLS9780792310815","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792310815.jpg?v=1758062633"},{"product_id":"games-norms-and-reasons-book-johan-van-benthem-9789400735774","title":"Games, Norms and Reasons","description":"Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called \"Logic at the Crossroads\" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52333056229649,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52333056917777,"sku":"NLS9789400735774","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400735774.jpg?v=1758153556"},{"product_id":"proof-computation-and-agency-book-johan-van-benthem-9789400735811","title":"Proof, Computation and Agency","description":"Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52333089128721,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52333089751313,"sku":"NLS9789400735811","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400735811.jpg?v=1758153682"},{"product_id":"essays-in-logical-semantics-book-johan-van-benthem-9789027720924","title":"Essays in Logical Semantics","description":"Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com- position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52354526347537,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52354526937361,"sku":"NLS9789027720924","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789027720924.jpg?v=1758183977"},{"product_id":"logic-of-time-book-johan-van-benthem-9789048140824","title":"The Logic of Time","description":"That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter's mono- poly on the logical study of Time. Finally, a set of lecture notes by Frank Veltman showed me how classical model theory is just as relevant to that study as more exotic intensional techniques. Of the authors whose work inspired me most, I would mention Arthur Prior, for his irresistible blend of logic and philosophy, Krister Segerberg, for his technical opening up of a systematic theory, and Hans Kamp, for his mastery of all these things at once. Many colleagues have made helpful comments on the two previous versions of this text. I would like to thank especially my students Ed Brinksma, Jan van Eyck and Wilfried Meyer-Viol for their logical and cultural criticism. The drawings were contributed by the versatile Bauke Mulder. Finally, Professor H intikka's kind appreciation provided the stimulus to write this book.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52481759805713,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52481761083665,"sku":"NLS9789048140824","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048140824.jpg?v=1759852199"},{"product_id":"age-of-alternative-logics-book-johan-van-benthem-9789048124855","title":"The Age of Alternative Logics","description":"In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings:   - Proof, Knowledge and Computation   - Truth Values beyond Bivalence   - Category-Theoretic Structures   - Independence, Evaluation Games, and Imperfect Information   - Dialogue and Pragmatics.   The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52485412552977,"sku":"NLS9789048124855","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763117420817,"sku":"NIN9789048124855","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048124855.jpg?v=1759857675"},{"product_id":"age-of-alternative-logics-book-johan-van-benthem-9781402050114","title":"The Age of Alternative Logics","description":"In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings:   - Proof, Knowledge and Computation   - Truth Values beyond Bivalence   - Category-Theoretic Structures   - Independence, Evaluation Games, and Imperfect Information   - Dialogue and Pragmatics.   The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52485484216593,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52485485429009,"sku":"NLS9781402050114","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781402050114.jpg?v=1759857775"},{"product_id":"models-of-strategic-reasoning-book-johan-van-benthem-9783662485392","title":"Models of Strategic Reasoning","description":"Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52636770369809,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52636770926865,"sku":"NLS9783662485392","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662485392.jpg?v=1761955342"},{"product_id":"logical-dynamics-of-information-and-interaction-book-johan-van-benthem-9781107417175","title":"Logical Dynamics of Information and Interaction","description":"This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52664376099089,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52664376951057,"sku":"NLS9781107417175","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781107417175.jpg?v=1762274461"},{"product_id":"logical-dynamics-of-information-and-interaction-book-johan-van-benthem-9780521765794","title":"Logical Dynamics of Information and Interaction","description":"This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52678211043601,"sku":"NLS9780521765794","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780521765794.jpg?v=1762307562"},{"product_id":"logic-in-games-book-johan-van-benthem-9780262057172","title":"Logic in Games","description":"\u003cb\u003eA comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games.\u003c\/b\u003e\u003cbr\u003e \u003cbr\u003e This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.\u003cbr\u003e \u003cbr\u003e In doing so, the book takes up the \"intelligent interaction\" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze information-driven changes in players' knowledge and beliefs, and introduces the \"Theory of Play\" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games.\u003cbr\u003e \u003cbr\u003e \u003ci\u003eLogic in Games\u003c\/i\u003e, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52837572182289,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52837572411665,"sku":"NLS9780262057172","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780262057172.jpg?v=1764721997"},{"product_id":"graph-games-and-logic-design-book-johan-van-benthem-9783031913600","title":"Graph Games and Logic Design","description":"This book presents established and new research on the close connections between graph games and systems of logic, particularly existing and newly designed modal logics. The volume utilizes two graph games – the sabotage game and the hide-and-seek game – to demonstrate the natural interplay between designing new graph games and exploring new kinds of logics that fit with these games. The collected works in this volume therefore straddle both established research directions of designing logics for analyzing games and designing games for analyzing logics.   This book contains a general introduction to the project of matching up graph games and logic design, and a collection of selected and commissioned contributions that illustrate novel concepts, questions, and logical techniques in the field. The contributions are introduced and contextualized in an editorial preface and conclusion. Future outlooks towards further research on graph games, new graph games, major new technical challenges, and potential practical applications to, for example, board games and a design tool for experiments in cognitive psychology conclude the volume. This book is of interest to a broad audience working with theoretical and practical applications of graph games and modal logics.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53265035821329,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":53265036247313,"sku":"NGR9783031913600","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031913600.jpg?v=1773917053"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-johan-van-benthem.oembed","provider":"World of Books ","version":"1.0","type":"link"}