Proof, computation and agency logic at the crossroads

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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online Service)
Tác giả khác: Benthem,Johan van, Gupta,Amitabha, Parikh, Rohit
Định dạng: Electronic Resource
Ngôn ngữ:English
Được phát hành: Dordrecht Springer Netherlands 2011.
Loạt:Synthese library 352.
Những chủ đề:
Logic > Congresses.
Philosophy > Logic.
Electronic books.
Truy cập trực tuyến:Available for the University of the Philippines Diliman via SpringerLink. Click here to access