Mục lục
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.
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
7.529 Ebooks trong thể loại này
