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

Popoln opis

Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online Service)
Drugi avtorji: Benthem,Johan van, Gupta,Amitabha, Parikh, Rohit
Format: Electronic Resource
Jezik:English
Izdano: Dordrecht Springer Netherlands 2011.
Serija:Synthese library 352.
Teme:
Logic > Congresses.
Philosophy > Logic.
Electronic books.
Online dostop:Available for the University of the Philippines Diliman via SpringerLink. Click here to access