default search action

combined dblp search
author search
venue search
publication search

ask others

Proof, Computation and Agency 2011

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/daglib/0026706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0026706
Johan van Benthem, Amitabha Gupta, Rohit Parikh:
Proof, Computation and Agency - Logic at the Crossroads. Synthese library 352, Springer 2011, ISBN 978-94-007-0079-6

Part 1 / Logic Today: Some Reflections

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Crossley11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Crossley11
John N. Crossley:
What Is Mathematical Logic? A Survey. 3-17
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Parikh11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Parikh11
Rohit Parikh:
Is There a Logic of Society? 19-31

Part 2 / Logic and Mathematics

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Crossley11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Crossley11a
John N. Crossley:
What Is a Proof? 35-52
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Hodges11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Hodges11
Wilfrid Hodges:
A Visit to Tarski's Seminar on Elimination of Quantifiers. 53-66
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Hajek11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Hajek11
Petr Hájek:
Deductive Systems of Fuzzy Logic. 67-78

Part 3 / Logic and Computation

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Crossley11b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Crossley11b
John N. Crossley:
What Is the Difference Between Proofs and Programs? 81-97
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/BlassG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/BlassG11
Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. 99-114
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/CicaleseM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/CicaleseM11
Ferdinando Cicalese, Daniele Mundici:
Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic. 115-131
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Meyden11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Meyden11
Ron van der Meyden:
Two Applications of Epistemic Logic in Computer Security. 133-144
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Yanofsky11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Yanofsky11
Noson S. Yanofsky:
An Introduction to Quantum Computing. 145-180

Part 4 / Logic, Agency and Games

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Benthem11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Benthem11
Johan van Benthem:
Logic Games: From Tools to Models of Interaction. 183-216
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Segerberg11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Segerberg11
Krister Segerberg:
In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic. 217-227
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Pacuit11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Pacuit11
Eric Pacuit:
Towards a Logical Analysis of Adjusted Winner. 229-239
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Venkatesh11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Venkatesh11
G. Venkatesh:
Temporal Logic with Preferences and Reasoning About Games. 241-258

Part 5 / Logic, Language and Cognition

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Hodges11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Hodges11a
Wilfrid Hodges:
From Sentence Meanings to Full Semantics. 261-276
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/AcharyaJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/AcharyaJ11
B. Devadas Acharya, Shalini Joshi:
Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences. 277-307

Part 6 / Perspectives from Indian Logic

- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Ramasubramanian11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Ramasubramanian11
K. Ramasubramanian:
History and Development of Indian Logic: An Overview. 311-331
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Sarukkai11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Sarukkai11
Sundar Sarukkai:
Indian Logic and Philosophy of Science: The Logic-Epistemology Link. 333-353
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Ramasubramanian11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Ramasubramanian11a
K. Ramasubramanian:
The Concept of Hetvābhāsa in Nyāya-śāstra. 355-371

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.