Synthese library
Author(s)
Bibliographic Information
Synthese library
D. Reidel , Distributed in the U.S.A. and Canada by Kluwer Boston
 Other Title

Synthese library : studies in epistemology, logic, methodology, and philosophy of science
Synthese library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Available at / 2 libraries

No Libraries matched.
 Remove all filters.
Search this Book/Journal
Note
Subtitle varies
Subtitle of 117: monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Subtitle of 119: studies in epistemology, logic, methodology, and philosophy of science
Publishers vary: Dordrecht : Kluwer Academic Publishers, New York : Humanities Press, Dordrecht : Springer
Description and Table of Contents
Description
Table of Contents
 Volume I: Proof, Computation and Agency Preface. Introduction. I LOGIC TODAY: SOME REFLECTIONS. 1. What is Mathematical Logic? A Survey
 John N. Crossley. 2. Is there a Logic of Society?
 Rohit Parikh. II LOGIC AND MATHEMATICS. 3. What is a Proof?
 John N. Crossley. 4. A Visit to Tarski's Seminar on Elimination of Quantifiers
 Wilfrid Hodges. 5. Deductive Systems of Fuzzy Logic
 Petr Hajek. III LOGIC AND COMPUTATION. 6. What is the difference between Proofs and Programs?
 John N. Crossley. 7. ZeroOne Laws: Thesauri and Parametric Conditions
 Yuri Gurevich and Andreas Blass. 8. Recent Developments of Feedback Coding, and its relations with Manyvalued Logic
 Daniele Mundici and Ferdinando Cicalese. 9. Two Applications of Epistemic Logic in Computer Security
 Ron van der Meyden. 10. An Introduction to Quantum Computing
 Noson Yanofsky. IV LOGIC, AGENCY AND GAMES. 11. Logic Games: From Tools to Models of Interaction
 Johan van Benthem. 12. Iterated Belief Revision in Dynamic Doxastic Logic
 Krister Segerberg. 13. Towards a Logical Analysis of Adjusted Winner
 Eric Pacuit. 14. Temporal Logic with Preferences and Reasoning about Games
 G. Venkatesh. V LOGIC, LANGUAGE AND COGNITION. 15. From Sentence Meanings to Full Semantics
 Wilfrid Hodges. 16. Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences
 D. B. Acharya and Shalini Joshi. VI PERSPECTIVES FROM INDIAN LOGIC. 17. Indian Logic: An Overview
 K. Ramasubramanian. 18. Indian Logic and Philosophy of Science: the LogicEpistemology Link
 Sundar Sarukkai. 19. The Concept of `Hetvabhasa' in Nyayasastra
 K. Ramasubramanian. Notes on Contributors. Bibliography. Volume II: Games, Norms and Reasons Preface. Introduction. PART I. 1. Why Meaning Intentions are Degenerate
 Akeel Bilgrami. 2. Redoing the Foundations of Decision Theory
 Lawrence E. Blume, David A. Easley and Joseph Y. Halpern. 3. A Note on Adjusted Winner
 Eric Pacuit, Rohit Parikh and Samer Salame. 4. Modal Logic for Lexicographic Preference Aggregation
 Patrick Girard. 5. Syllogistic Logic with Complements
 Lawrence Moss. 6. Introduction to Unary Inductive Logic
 Jeff Paris. 7. From Unary to Binary Inductive Logic
 Jeff Paris and A. Vencovska. 8. Merging Information
 Sujata Ghosh and Fernando R. VelazquezQuesada. 9. Challenges for Decidable Epistemic Logics from Security Protocols
 R. Ramanujam and S.P. Suresh. PART II. Introduction: Tribute to Rohit Parikh. 1. Nofi Regret: A Connection between Computational Learning Theory and Game Theory
 Amy Greenwald, Amir Jafari and Casey Marks. 2. Why Do We Need Justification Logic?
 Sergei Artemov. 3. The Realization Theorem for S5: A Simple, Constructive Proof
 Melvin Fitting. 4. A ProofTheoretic Approach to Mathematical Knowledge Management
 Dexter Kozen and Ganesh Ramanarayanan. 5. From Parikh's Theorem to ManySorted Spectra
 Johann A. Makowsky. 6. A Fresh Look at Propositional Dynamic Logic and Game Logic
 Jan van Eijck and Rineke Verbrugge. 7. Bounded Rationality: Models for some Fast and Frugal Heuristics
 Horacio ArloCosta and Arthur Paul Pedersen. 8. Axiom of Distinction in Social Software
 Vincent F. Hendricks. Notes on the Contributors.
by "Nielsen BookData"