↓ Skip to main content

Proof, Computation and Agency

Overview of attention for book
Cover of 'Proof, Computation and Agency'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Is Mathematical Logic? A Survey
  3. Altmetric Badge
    Chapter 2 Is There a Logic of Society?
  4. Altmetric Badge
    Chapter 3 What Is a Proof?
  5. Altmetric Badge
    Chapter 4 A Visit to Tarski’s Seminar on Elimination of Quantifiers
  6. Altmetric Badge
    Chapter 5 Deductive Systems of Fuzzy Logic
  7. Altmetric Badge
    Chapter 6 What Is the Difference Between Proofs and Programs?
  8. Altmetric Badge
    Chapter 7 Zero-One Laws: Thesauri and Parametric Conditions
  9. Altmetric Badge
    Chapter 8 Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic
  10. Altmetric Badge
    Chapter 9 Proof, Computation and Agency
  11. Altmetric Badge
    Chapter 10 An Introduction to Quantum Computing
  12. Altmetric Badge
    Chapter 11 Logic Games: From Tools to Models of Interaction
  13. Altmetric Badge
    Chapter 12 In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic
  14. Altmetric Badge
    Chapter 13 Towards a Logical Analysis of Adjusted Winner
  15. Altmetric Badge
    Chapter 14 Temporal Logic with Preferences and Reasoning About Games
  16. Altmetric Badge
    Chapter 15 From Sentence Meanings to Full Semantics
  17. Altmetric Badge
    Chapter 16 Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences
  18. Altmetric Badge
    Chapter 17 History and Development of Indian Logic: An Overview
  19. Altmetric Badge
    Chapter 18 Indian Logic and Philosophy of Science: The Logic-Epistemology Link
  20. Altmetric Badge
    Chapter 19 The Concept of Hetvābhāsa in Nyāya-śāstra
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
38 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Proof, Computation and Agency
Published by
Springer Netherlands, April 2011
DOI 10.1007/978-94-007-0080-2
ISBNs
978-9-40-070079-6, 978-9-40-070080-2
Editors

van Benthem, Johan, Gupta, Amitabha, Parikh, Rohit

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 38 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Uruguay 3 8%
Australia 1 3%
Unknown 34 89%

Demographic breakdown

Readers by professional status Count As %
Unspecified 7 18%
Researcher 7 18%
Student > Ph. D. Student 5 13%
Professor > Associate Professor 4 11%
Student > Master 4 11%
Other 3 8%
Unknown 8 21%
Readers by discipline Count As %
Unspecified 7 18%
Computer Science 7 18%
Philosophy 5 13%
Chemistry 3 8%
Nursing and Health Professions 1 3%
Other 7 18%
Unknown 8 21%