Logic in Games

Johan van Benthem is University Professor of Pure and Applied Logic at the University of Amsterdam and Henry Waldgrave Stuart Professor of Philosophy at Stanford University. He is the author of Language in Action: Categories, Lambdas, and Dynamic Logic (MIT Press), Exploring Logical Dynamics, Logical Dynamics of Information and Interaction, and other books.

出版者:The MIT Press

作者:Johan van Benthem

页数:568

出版时间:2014-1-24

价格:USD 50.00

装帧:Hardcover

isbn号码:9780262019903

图书标签:数理逻辑认知逻辑博弈论邏輯荷蘭猶太數學博弈論

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.

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.

Logic in Games, 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.

读后感

这本书的目标读者的最低层次是现代逻辑硕士研究生。范·本特姆在该书前言(Preface xvii)中写道： While this book is not primarily technical, placing its main emphasis on exploring ideas, it is not a self-contained introduction to all the logics that will be link...

这本书的目标读者的最低层次是现代逻辑硕士研究生。范·本特姆在该书前言(Preface xvii)中写道： While this book is not primarily technical, placing its main emphasis on exploring ideas, it is not a self-contained introduction to all the logics that will be link...

这本书的目标读者的最低层次是现代逻辑硕士研究生。范·本特姆在该书前言(Preface xvii)中写道： While this book is not primarily technical, placing its main emphasis on exploring ideas, it is not a self-contained introduction to all the logics that will be link...

这本书的目标读者的最低层次是现代逻辑硕士研究生。范·本特姆在该书前言(Preface xvii)中写道： While this book is not primarily technical, placing its main emphasis on exploring ideas, it is not a self-contained introduction to all the logics that will be link...

这本书的目标读者的最低层次是现代逻辑硕士研究生。范·本特姆在该书前言(Preface xvii)中写道： While this book is not primarily technical, placing its main emphasis on exploring ideas, it is not a self-contained introduction to all the logics that will be link...

用户评价

非常前沿的东西，讲了很多逻辑学与博弈论的交叉研究，包括已完成的和作者指出的future work的方向。 对新手很不友好，因为主要是讲很多前沿的idea，所以对于定义/证明等完全略过。 中译本预计于明年上半年出版。 2020年更新：本人已退出这本书的翻译工作...但相信在刘奋荣老师的主持下依然可以翻译得很好（毕竟是van Benthem多次说想译成中文的书...）

非常前沿的东西，讲了很多逻辑学与博弈论的交叉研究，包括已完成的和作者指出的future work的方向。 对新手很不友好，因为主要是讲很多前沿的idea，所以对于定义/证明等完全略过。 中译本预计于明年上半年出版。 2020年更新：本人已退出这本书的翻译工作...但相信在刘奋荣老师的主持下依然可以翻译得很好（毕竟是van Benthem多次说想译成中文的书...）

非常前沿的东西，讲了很多逻辑学与博弈论的交叉研究，包括已完成的和作者指出的future work的方向。 对新手很不友好，因为主要是讲很多前沿的idea，所以对于定义/证明等完全略过。 中译本预计于明年上半年出版。 2020年更新：本人已退出这本书的翻译工作...但相信在刘奋荣老师的主持下依然可以翻译得很好（毕竟是van Benthem多次说想译成中文的书...）

非常前沿的东西，讲了很多逻辑学与博弈论的交叉研究，包括已完成的和作者指出的future work的方向。 对新手很不友好，因为主要是讲很多前沿的idea，所以对于定义/证明等完全略过。 中译本预计于明年上半年出版。 2020年更新：本人已退出这本书的翻译工作...但相信在刘奋荣老师的主持下依然可以翻译得很好（毕竟是van Benthem多次说想译成中文的书...）

非常前沿的东西，讲了很多逻辑学与博弈论的交叉研究，包括已完成的和作者指出的future work的方向。 对新手很不友好，因为主要是讲很多前沿的idea，所以对于定义/证明等完全略过。 中译本预计于明年上半年出版。 2020年更新：本人已退出这本书的翻译工作...但相信在刘奋荣老师的主持下依然可以翻译得很好（毕竟是van Benthem多次说想译成中文的书...）