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

ver descrição completa

Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online Service)
Outros Autores: Benthem,Johan van, Gupta,Amitabha, Parikh, Rohit
Formato: Electronic Resource
Idioma:English
Publicado em: Dordrecht Springer Netherlands 2011.
coleção:Synthese library 352.
Assuntos:
Logic > Congresses.
Philosophy > Logic.
Electronic books.
Acesso em linha:Available for the University of the Philippines Diliman via SpringerLink. Click here to access