Games, Norms and Reasons Logic at the Crossroads /

Games, 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 Crossr...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: van Benthem, Johan (Επιμελητής έκδοσης), Gupta, Amitabha (Επιμελητής έκδοσης), Pacuit, Eric (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Σειρά:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03810nam a22005175i 4500
001 978-94-007-0714-6
003 DE-He213
005 20151204155543.0
007 cr nn 008mamaa
008 110330s2011 ne | s |||| 0|eng d
020 |a 9789400707146  |9 978-94-007-0714-6 
024 7 |a 10.1007/978-94-007-0714-6  |2 doi 
040 |d GrThAP 
050 4 |a BC1-199 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
082 0 4 |a 160  |2 23 
245 1 0 |a Games, Norms and Reasons  |h [electronic resource] :  |b Logic at the Crossroads /  |c edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2011. 
300 |a XVI, 232 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 353 
505 0 |a Preface -- 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 |a Games, 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 |a Philosophy. 
650 0 |a Logic. 
650 0 |a Game theory. 
650 0 |a Mathematical logic. 
650 1 4 |a Philosophy. 
650 2 4 |a Logic. 
650 2 4 |a Mathematical Logic and Foundations. 
650 2 4 |a Game Theory. 
650 2 4 |a Game Theory, Economics, Social and Behav. Sciences. 
700 1 |a van Benthem, Johan.  |e editor. 
700 1 |a Gupta, Amitabha.  |e editor. 
700 1 |a Pacuit, Eric.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9789400707139 
830 0 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 353 
856 4 0 |u http://dx.doi.org/10.1007/978-94-007-0714-6  |z Full Text via HEAL-Link 
912 |a ZDB-2-SHU 
950 |a Humanities, Social Sciences and Law (Springer-11648)