Amitabha Gupta, Rohit Parikh, Johan van Benthem, Eric Pacuit
Proof, Computation and Agency Proof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other disciplines, and some of the emerging areas in terms. The volume brings out an inspiring paradigm, called 'Social Software', the study of patterns of social interaction by means of techniques from logic and computer science. Besides, it demonstrates how an extended view of logic can join forces with the social sciences, game theory or social choice theory, in studying patterns and procedures in social agency, and systematizing this field....
Proof, Computation and Agency Proof, Computation and Agency: Logic at the Cross Roads provides an overview of Logic and its relationship with other di...
In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, andalso covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal...
In Modal Logic for Open Minds, Johan van Benthem provides an up-to-dateintroduction to the field of modal logic, outlining its major ideas ...
