000			03879nam a22005295i 4500
001			978-94-007-0714-6
003			DE-He213
005			20140220083831.0
007			cr nn 008mamaa
008			110330s2011 ne | s |||| 0|eng d
020			_a9789400707146 _9978-94-007-0714-6
024	7		_a10.1007/978-94-007-0714-6 _2doi
050		4	_aBC1-199
072		7	_aHPL _2bicssc
072		7	_aPHI011000 _2bisacsh
082	0	4	_a160 _223
100	1		_avan Benthem, Johan. _eeditor.
245	1	0	_aGames, Norms and Reasons _h[electronic resource] : _bLogic at the Crossroads / _cedited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.
264		1	_aDordrecht : _bSpringer Netherlands : _bImprint: Springer, _c2011.
300			_aXVI, 232 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; _v353
505	0		_aPreface -- Dedication.- 1. Bounded Rationality: Models for some Fast and Frugal Heuristics; Horacio Arlo-Costa and Arthur Paul Pedersen -- 2. Why Do We Need Justification Logic?; Sergei Artemov -- 3. Why Meanings are Not Normative; Akeel Bilgrami -- 4. The Realization Theorem for S5: A Simple, Constructive Proof; Melvin Fitting -- 5. Merging Information; Sujata Ghosh and Fernando R. Velazquez-Quesada -- 6. Modal Logic for Lexicographic Preference Aggregation; Patrick Girard -- 7. No-Φ-Regret: A Connection between Computational Learning Theory and Game Theory; Amy Greenwald, Amir Jafari and Casey Marks -- 8. Axioms of Distinction in Social Software; Vincent F. Hendricks -- 9. Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management; Dexter Kozen and Ganesh Ramanarayanan -- 10.  Generalizing Parikh's Theorem; Johann A. Makowsky -- 11. Syllogistic Logic with Complements; Lawrence Moss -- 12. From Unary to Binary Inductive Logic; Jeff Paris and Alena Vencovska -- 13. Challenges for Decidable Epistemic Logics from Security Protocols; R. Ramanujam and S.P. Suresh.
520			_aGames, Norms, and Reasons: Logic at the Crossroads 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.
650		0	_aPhilosophy (General).
650		0	_aLogic.
650		0	_aMathematics.
650		0	_aLogic, Symbolic and mathematical.
650		0	_aEconomics, Mathematical.
650	1	4	_aPhilosophy.
650	2	4	_aLogic.
650	2	4	_aMathematical Logic and Foundations.
650	2	4	_aGame Theory/Mathematical Methods.
650	2	4	_aGame Theory, Economics, Social and Behav. Sciences.
700	1		_aGupta, Amitabha. _eeditor.
700	1		_aPacuit, Eric. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789400707139
830		0	_aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; _v353
856	4	0	_uhttp://dx.doi.org/10.1007/978-94-007-0714-6
912			_aZDB-2-SHU
999			_c109363 _d109363