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
Πίνακας περιεχομένων:
  • 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.