Games, Norms and Reasons Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: van Benthem, Johan (Editor), Gupta, Amitabha (Editor), Pacuit, Eric (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.