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...
| Coauteur: | |
|---|---|
| Andere auteurs: | , , |
| Formaat: | Electronic Resource |
| Taal: | Engels |
| Gepubliceerd in: |
Dordrecht
Springer Netherlands
2011.
|
| Reeks: | Synthese library
352. |
| Onderwerpen: | |
| Online toegang: | Available for the University of the Philippines Diliman via SpringerLink. Click here to access |