MARC Record from Library of Congress

LEADER: 03885cam a2200445 a 4500
001 2011923658
003 DLC
005 20130607101501.0
008 110223s2011 ne ac b 110 0 eng d
010 $a 2011923658
020 $a9789400707139
020 $a9400707134
020 $a9789400709201 (set)
020 $a940070920X (set)
020 $z9789400707146 (e-ISBN)
035 $a(OCoLC)ocn728216294
040 $aSYB$cSYB$dDGU$dBTCTA$dYDXCP$dOHX$dBWX$dUZ0$dFDA$dDLC
042 $alccopycat
050 00 $aBC108$b.G36 2011
245 00 $aGames, norms and reasons :$blogic at the crossroads /$cedited by Johan van Benthem, Amitabba Gupta and Eric Pacuit.
246 30 $aLogic at the crossroads
260 $aDordrecht [Netherlands] ;$aNew York :$bSpringer,$cc2011.
300 $axvi, 231 p. :$bill., portrait ;$c25 cm.
490 1 $aSynthese library : studies in epistemology, logic, methodology, and philosophy of science ;$vv. 353
500 $aMost of the papers in this volume were presented at the Second Indian Conference on "Logic and its Relationship with other Disciplines" held at IIT Bombay, Mumbai 2007. Cf. Preface, p. v.
500 $a"Pays special tribute to Professor Rohit Parikh"--Back cover.
520 8 $a" ... 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"--Publisher's description, p. [4] of cover.
504 $aIncludes bibliographical references.
505 00 $tBounded rationality :$tmodels for some fast and frugal heuristics /$rHoracio Arló Costa and Arthur Paul Pedersen --$tWhy do we need justification logic? /$rSergei Artemov --$tWhy meanings are not normative /$rAkeel Bilgrami --$tThe realization theorem for S5 :$ta simple, constructive proof /$rMelvin Fitting --$tMerging information /$rSujata Ghosh and Fernando R. Velázquez-Quesada --$tModal logic for lexicographic preference aggregation /$rPatrick Girard --$tNo-[phi]-regret :$ta connection between computational learning theory and game theory /$rAmy Greenwald, Amir Jafari, and Casey Marks --$tAxioms of distinction in social software /$rVincent F. Hendricks --$tPublication/citation :$ta proof-theoretic approach to mathematical knowledge management /$rDexter Kozen and Ganesh Ramanarayanan --$tGeneralizing Parikh's theorem /$rJohann A. Makowsky --$tSyllogistic logic with complements /$rLarry Moss --$tFrom unary to binary inductive logic /$rJeff B. Paris and Alena Vencovská --$tChallenges for decidable epistemic logics from security protocols /$rR. Ramanujam and S. P. Suresh.
650 0 $aLogic$vCongresses.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
600 10 $aParikh, Rohit,$d1936-
700 1 $aBenthem, Johan van,$d1949-
700 1 $aGupta, Amitabh,$cPh. D.
700 1 $aPacuit, Eric.
710 2 $aSpringerLink (Online service)
711 2 $a"Indian Conference on Logic and its Relationship with Other Disciplines"$n(2nd :$d2007 :$cMumbai)
830 0 $aSynthese library ;$vv. 353.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy1304/2011923658-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy1304/2011923658-t.html