While different forms of social interaction have been extensively studied in several fields, the development of formal logics makes precise knowledge representation and mechanical reasoning about situations involving social interaction possible. In particular, such logics make it possible to formally specify and verify software implementing social mechanisms. In my talk I will give an overview of some of our recent work on logics for social interaction, in particular applied to reasoning about social choice mechanisms such as voting and preference aggregation as well as reasoning about coalition formation and coalitional stability. We use benchmark examples from game theory and social choice theory to illustrate the expressiveness of the logics.
展开▼