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

Szczegółowa specyfikacja

Opis bibliograficzny
Korporacja: SpringerLink (Online Service)
Kolejni autorzy: Benthem,Johan van, Gupta,Amitabha, Parikh, Rohit
Format: Electronic Resource
Język:English
Wydane: Dordrecht Springer Netherlands 2011.
Seria:Synthese library 352.
Hasła przedmiotowe:
Logic > Congresses.
Philosophy > Logic.
Electronic books.
Dostęp online:Available for the University of the Philippines Diliman via SpringerLink. Click here to access