Vor Ort
Merkzettel Warenkorb
  • Produktbild: Proof, Computation and Agency
  • Produktbild: Proof, Computation and Agency
Band 352 - 12%

Proof, Computation and Agency Logic at the Crossroads

Aus der Reihe Synthese Library
12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.05.2013

Abbildungen

XXIV, 372 p.

Herausgeber

Johan van Benthem + weitere

Verlag

Springer Netherland

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-3581-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.05.2013

Abbildungen

XXIV, 372 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

598 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-94-007-3581-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Proof, Computation and Agency
  • Produktbild: Proof, Computation and Agency

  • Foreword.- Preface.- 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 Hájek.- III LOGIC AND COMPUTATION.- 6. What is the Difference between Proofs and Programs?; John N. Crossley.- 7. Zero-One Laws: Thesauri and Parametric Conditions; Andreas Blass and Yuri Gurevich.- 8. Recent Developments of Feedback Coding and its Relations with Many-valued Logic; Ferdinando Cicalese and Daniele Mundici.- 9. Two Applications of Epistemic Logic in Computer Security; Ron van der Meyden.- 10. An Introduction to Quantum Computing; Noson S. 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; B. D. Acharya and Shalini Joshi.- VI PERSPECTIVES FROM INDIAN LOGIC.- 17. History and Development of Indian Logic: An Overview; K. Ramasubramanian.- 18. Indian Logic and Philosophy of Science: the Logic-Epistemology Link; Sundar Sarukkai.- 19. The Concept of ‘Hetvabhasa’ in Nyaya-sastra; K. Ramasubramanian.