Logic in 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 informa...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, MA London, England
The MIT Press
[2014]
|
| Links: | https://doi.org/10.7551/mitpress/9674.001.0001?locatt=mode:legacy |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (xvii, 547 Seiten) Illustrationen |
| ISBN: | 0262320290 9780262320290 |
Internformat
MARC
| LEADER | 00000cam a2200000Ki 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-9674 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073418.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 140309s2014 maua ob 001 0 eng d | ||
| 020 | |a 0262320290 | ||
| 020 | |a 9780262320290 | ||
| 024 | 3 | |a 9780262320290 | |
| 100 | 1 | |a Benthem, Johan van |d 1949- | |
| 245 | 1 | 0 | |a Logic in games |c Johan van Benthem |
| 264 | 1 | |a Cambridge, MA |a London, England |b The MIT Press |c [2014] | |
| 264 | 4 | |c ©2014 | |
| 300 | |a 1 Online-Ressource (xvii, 547 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | 8 | |a 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. | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262019906 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262019903 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/9674.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-9674 |
|---|---|
| _version_ | 1821493840591192064 |
| adam_text | |
| any_adam_object | |
| author | Benthem, Johan van 1949- |
| author_facet | Benthem, Johan van 1949- |
| author_role | |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02121cam a2200289Ki 4500</leader><controlfield tag="001">ZDB-260-MPOB-9674</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073418.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |n|||||||||</controlfield><controlfield tag="008">140309s2014 maua ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262320290</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262320290</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9780262320290</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic in games</subfield><subfield code="c">Johan van Benthem</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA</subfield><subfield code="a">London, England</subfield><subfield code="b">The MIT Press</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 547 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262019906</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262019903</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/9674.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-9674 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:53Z |
| institution | BVB |
| isbn | 0262320290 9780262320290 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xvii, 547 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | The MIT Press |
| record_format | marc |
| spelling | Benthem, Johan van 1949- Logic in games Johan van Benthem Cambridge, MA London, England The MIT Press [2014] ©2014 1 Online-Ressource (xvii, 547 Seiten) Illustrationen txt c cr 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. Erscheint auch als Druck-Ausgabe 0262019906 Erscheint auch als Druck-Ausgabe 9780262019903 |
| spellingShingle | Benthem, Johan van 1949- Logic in games |
| title | Logic in games |
| title_auth | Logic in games |
| title_exact_search | Logic in games |
| title_full | Logic in games Johan van Benthem |
| title_fullStr | Logic in games Johan van Benthem |
| title_full_unstemmed | Logic in games Johan van Benthem |
| title_short | Logic in games |
| title_sort | logic in games |
| work_keys_str_mv | AT benthemjohanvan logicingames |