Über dieses Produkt

Product Identifiers

PublisherMIT Press

ISBN-100262019906

ISBN-139780262019903

eBay Product ID (ePID)175223049

Product Key Features

Number of Pages568 Pages

Publication NameLogic in Games

LanguageEnglish

SubjectGame Theory, Logic, Logic Design

Publication Year2014

TypeTextbook

AuthorJohan Van Benthem

Subject AreaMathematics, Philosophy, Computers

FormatHardcover

Dimensions

Item Height1.2 in

Item Weight36.5 Oz

Item Length9.3 in

Item Width7.3 in

Additional Product Features

Intended AudienceTrade

LCCN2013-015059

IllustratedYes

SynopsisA comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games. 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., A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on logic and games. 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.

LC Classification NumberQA269.B36 2014