Thursday, July 29 2021
14:00 - 15:00

IMSc Webinar

A logical description of strategizing in social network games

Ramit Das


Webinar: join at In social network games, players are connected by a social network graph, and payoffs for players are determined by choices of players in their neighbourhood. We consider improvement dynamics of such games. We propose a modal logic for reasoning about strategies in these games. Within the logic, notions like Nash equilibrium and (weak) finite improvement property are easily defined. We show that the logic is decidable and that the valid formulas admit a complete axiomatization.

Download as iCalendar