Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProof, Computation and Agency 2011
- 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
- John N. Crossley:
What Is Mathematical Logic? A Survey. 3-17 - Rohit Parikh:
Is There a Logic of Society? 19-31
Part 2 / Logic and Mathematics
- John N. Crossley:
What Is a Proof? 35-52 - Wilfrid Hodges:
A Visit to Tarski's Seminar on Elimination of Quantifiers. 53-66 - Petr Hájek:
Deductive Systems of Fuzzy Logic. 67-78
Part 3 / Logic and Computation
- John N. Crossley:
What Is the Difference Between Proofs and Programs? 81-97 - Andreas Blass, Yuri Gurevich:
Zero-One Laws: Thesauri and Parametric Conditions. 99-114 - Ferdinando Cicalese, Daniele Mundici:
Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic. 115-131 - Ron van der Meyden:
Two Applications of Epistemic Logic in Computer Security. 133-144 - Noson S. Yanofsky:
An Introduction to Quantum Computing. 145-180
Part 4 / Logic, Agency and Games
- Johan van Benthem:
Logic Games: From Tools to Models of Interaction. 183-216 - Krister Segerberg:
In memory of Jasu Magan Bhana Panchia (1963-1991): Iterated Belief Revision in Dynamic Doxastic Logic. 217-227 - Eric Pacuit:
Towards a Logical Analysis of Adjusted Winner. 229-239 - G. Venkatesh:
Temporal Logic with Preferences and Reasoning About Games. 241-258
Part 5 / Logic, Language and Cognition
- Wilfrid Hodges:
From Sentence Meanings to Full Semantics. 261-276 - 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
- K. Ramasubramanian:
History and Development of Indian Logic: An Overview. 311-331 - Sundar Sarukkai:
Indian Logic and Philosophy of Science: The Logic-Epistemology Link. 333-353 - K. Ramasubramanian:
The Concept of Hetvābhāsa in Nyāya-śāstra. 355-371
a service of 
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.
last updated on 2024-06-21 22:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
