صورة غلاف أمازون
صورة من Amazon.com
صورة الغلاف المخصصة
صورة الغلاف المخصصة

Games, norms and reasons [Texte imprimé] : logic at the crossroads / edited by Johan van Benthem, Amitabba Gupta and Eric Pacuit

المساهم (المساهمين):نوع المادة : نصنصالسلاسل:Synthese library : studies in epistemology, logic, methodology, and philosophy of science (Springer, Dordrecht)تفاصيل النشر:Dordrecht ; Heidelberg ; London [etc.] : Springer, cop. 2011وصف:1 vol. (XVI-231 p.) : ill. ; 25 cmتدمك:
  • 978-94-007-0713-9
الموضوع:تصنيف DDC:
  • 160 23E
تصنيفات أخرى:
  • 160
المحتويات:
Bounded rationality : models for some fast and frugal heuristics / Horacio Arló Costa and Arthur Paul Pedersen -- Why do we need justification logic? / Sergei Artemov -- Why meanings are not normative / Akeel Bilgrami -- The realization theorem for S5 : a simple, constructive proof / Melvin Fitting -- Merging information / Sujata Ghosh and Fernando R. Velázquez-Quesada -- Modal logic for lexicographic preference aggregation / Patrick Girard -- No-[phi]-regret : a connection between computational learning theory and game theory / Amy Greenwald, Amir Jafari, and Casey Marks -- Axioms of distinction in social software / Vincent F. Hendricks -- Publication/citation : a proof-theoretic approach to mathematical knowledge management / Dexter Kozen and Ganesh Ramanarayanan -- Generalizing Parikh's theorem / Johann A. Makowsky -- Syllogistic logic with complements / Larry Moss -- From unary to binary inductive logic / Jeff B. Paris and Alena Vencovská -- Challenges for decidable epistemic logics from security protocols / R. Ramanujam and S. P. Suresh
ملخص:" ... 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"--Publisher's description, p. [4] of cover
نوع المادة:
وسوم من هذه المكتبة لا توجد وسوم لهذا العنوان في هذه المكتبة. قم بتسجيل الدخول لإضافة الأوسمة
التقييم بالنجوم
    متوسط التقييم: 0.0 (0 صوتًا)
المقتنيات
نوع المادة المكتبة الحالية المجموعة رقم الطلب رقم النسخة حالة تاريخ الإستحقاق الباركود
Livre Livre Bibliothèque centrale En accès libre Collection générale 160 / 806 (إستعراض الرف(يفتح أدناه)) 1 المتاح 000005867738

" ... 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"--Publisher's description, p. [4] of cover

Notes bibliogr.

Bounded rationality : models for some fast and frugal heuristics / Horacio Arló Costa and Arthur Paul Pedersen -- Why do we need justification logic? / Sergei Artemov -- Why meanings are not normative / Akeel Bilgrami -- The realization theorem for S5 : a simple, constructive proof / Melvin Fitting -- Merging information / Sujata Ghosh and Fernando R. Velázquez-Quesada -- Modal logic for lexicographic preference aggregation / Patrick Girard -- No-[phi]-regret : a connection between computational learning theory and game theory / Amy Greenwald, Amir Jafari, and Casey Marks -- Axioms of distinction in social software / Vincent F. Hendricks -- Publication/citation : a proof-theoretic approach to mathematical knowledge management / Dexter Kozen and Ganesh Ramanarayanan -- Generalizing Parikh's theorem / Johann A. Makowsky -- Syllogistic logic with complements / Larry Moss -- From unary to binary inductive logic / Jeff B. Paris and Alena Vencovská -- Challenges for decidable epistemic logics from security protocols / R. Ramanujam and S. P. Suresh

لا توجد تعليقات على هذا العنوان.