Speaker: 
Sujata Ghosh

Title:
A logical structure for strategies in distributed games

Abstract:
Effective and efficient strategies are needed everywhere, not just in games like chess and bridge, but also in many social interactions in daily life. Unlike when playing a chess game, we usually do not know explicitly all the relevant details, leading to strategizing under partial information. We often model games as graphs and such partial or imperfect information are modelled as partitions of the set of nodes. Each player is associated with an equivalence relation over the set of nodes/game positions. These partitions can sometimes be generated by communications/interactions between players giving rise to certain distributed game structures. In this talk, we study one such model, propose a logic framework for reasoning about strategies in such games and discuss an axiom system for the proposed logic.

This is joint ongoing work with Neethi Konar.