000 | 03016nam a2200493 i 4500 | ||
---|---|---|---|
001 | 6731151 | ||
003 | IEEE | ||
005 | 20220712204819.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151229s2014 maua ob 001 eng d | ||
010 | _z 2013015059 (print) | ||
020 |
_a9780262320290 _qelectronic |
||
020 | _a9780262019903 | ||
020 |
_z0262019906 _qhardcover : alk. paper |
||
020 |
_z9780262019903 _qhardcover : print |
||
035 | _a(CaBNVSL)mat06731151 | ||
035 | _a(IDAMS)0b00006482031492 | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA269 _b.B36 2014eb |
|
082 | 0 | 0 |
_a519.3 _223 |
100 | 1 |
_aBenthem, Johan van, _d1949- _924229 |
|
245 | 1 | 0 |
_aLogic in games / _cJohan van Benthem. |
264 | 1 |
_aCambridge, Massachusetts ; _bMIT Press, _c[2014], c2014. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2014] |
|
300 |
_a1 PDF (xvii, 547 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
504 | _aIncludes bibliographical references (p. 515-542) and index. | ||
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aThis 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. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/29/2015. | ||
650 | 0 |
_aLogic. _924230 |
|
650 | 0 |
_aGame theory. _96996 |
|
655 | 0 |
_aElectronic books. _93294 |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _924231 |
|
710 | 2 |
_aMIT Press, _epublisher. _924232 |
|
776 | 0 | 8 |
_iPrint version: _z9780262019903 |
856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151 |
942 | _cEBK | ||
999 |
_c73354 _d73354 |