Logic and Computation introductory course:
Games, Action and Social Software.
Social software is a term coined by Rohit Parikh for the emerging discipline that investigates the logical, computational and strategic aspects of social mechanisms. The course will give an overview of choice topics in this area, and draw connections with game theory, action logic, epistemic logic, and social choice theory.
Point of departure will be a collection of Discourses on Games, Action and Social Software that is due to appear with Amsterdam University Press, in the Texts in Logic and Games series.
The level of the course will be the level of the discourses in the book, or slightly more advanced.
Each course lecture will be based on one or two of the discourse chapters from the book.