LEADER 04065nam a22005415i 4500
001 813914
003 TR_AnAIT
005 20260130222658
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
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/15154
245 10|aGames, Norms and Reasons|h[electronic resource] :|bLogic at the Crossroads /|cedited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.
250 |a1st ed. 2011.
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,|x2542-8292 ;|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|aLogic.
650 0|aMathematical logic.
650 0|aGame theory.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aGame Theory.
700 1 |avan Benthem, Johan.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aGupta, Amitabha.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aPacuit, Eric.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9789400707139
776 08|iPrinted edition:|z9789400707153
776 08|iPrinted edition:|z9789400735774
830 0|aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,|x2542-8292 ;|v353
856 40|uhttps://doi.org/10.1007/978-94-007-0714-6
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)