Proof, Computation and Agency

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 from logic and computer science. The book also demonstrates how logic can join forces with game theory and soci...