Games, Norms and Reasons [recurso electrónico] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.

Por: van Benthem, Johan [editor.]Colaborador(es): Gupta, Amitabha [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service)Tipo de material: TextoTextoSeries Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Descripción: XVI, 232 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9789400707146Tema(s): Philosophy (General) | Logic | Mathematics | Logic, Symbolic and mathematical | Economics, Mathematical | Philosophy | Logic | Mathematical Logic and Foundations | Game Theory/Mathematical Methods | Game Theory, Economics, Social and Behav. SciencesFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 160 Clasificación LoC:BC1-199Recursos en línea: Libro electrónicoTexto
Contenidos:
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-F-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.
En: Springer eBooksResumen: 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.
Star ratings
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro Electrónico Biblioteca Electrónica
Colección de Libros Electrónicos BC1 -199 (Browse shelf(Abre debajo)) 1 No para préstamo 378390-2001

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

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.

19

Con tecnología Koha