Proof, computation and agency logic at the crossroads

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online Service)
Other Authors:	Benthem,Johan van, Gupta,Amitabha, Parikh, Rohit
Format:	Electronic Resource
Language:	English
Published:	Dordrecht Springer Netherlands 2011.
Series:	Synthese library 352.
Subjects:	Logic > Congresses. Philosophy > Logic. Electronic books.
Online Access:	Available for the University of the Philippines Diliman via SpringerLink. Click here to access