Proof, Computation and Agency Logic at the Crossroads /

• Corporate Author: SpringerLink (Online service)
• Other Authors: van Benthem, Johan (Editor), Gupta, Amitabha (Editor), Parikh, Rohit (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
• Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
• Subjects: Philosophy.; Logic.; Philosophy, Asian.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Non-Western Philosophy.

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques fro...