Logic and Computation workshop:
Logical Methods for Social Concepts.
Organizers
Course material: AquilkhanBanerjee.pdf BalbianiDitmarschSeban.pdf Broersen.pdf DegremontKurzen.pdf Dimitri.pdf EckertHerzberg.pdf GenotJacot.pdf GhoshVelazquez.pdf GierasimczukKurzenVelazquez.pdf HakliNegri.pdf LonginNguyen.pdf RousselCholvy.pdf Tuomela.pdf
Abstract:
Both computer science and the social sciences are interested in
      concepts such as power, cooperation, responsibility, delegation,
      trust, reputation, convention, agreement, commitment, etc. The
      aim of the workshop is to study whether logical approaches
      developed in the multi-agent system (MAS) domain are adequate to
      express them in an accurate way. In particular, are existing
      logical approaches sufficiently expressive to capture the main
      features of these social concepts? Are the basic assumptions in
      the existing logics for MAS too strong to capture the
      fundamental aspects of social phenomena? Are some concepts
      relevant for social theory missing in these logics?
      We encourage not only works focused on the technical aspects of
      logics for multi-agent system, but also works including
      multidisciplinary aspects from social sciences (e.g. economics,
      sociology, social philosophy) and providing a critical analysis
      of the existing logical frameworks for the specification of
      social concepts. Indeed, the workshop is intended to bring
      together logicians and social theorists in order to provide a
      better understanding of the potentialities and limitations of
      logical methods for the analysis of social reality.
      The following are some examples of topics that are relevant for the workshop.
      - Logics of individual and collective powers
      
      - Logical approaches to game theory
      
      - Public announcements logics and logics of communication
      
      - Logical approaches to trust and reputation
      
      - Logical approaches to organizational concepts (e.g. roles, responsibility, delegation)
      
      - Logics of social commitment and collective attitudes
      (e.g. common belief and common knowledge, collective acceptance,
      joint intentions)
      - Logics for mechanism design
