This exploration of modern logic theory focuses on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. It reflects new and ambitious developments in human reasoning.
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.