Title: A modal logic for reasoning in distributed games

Speaker: Sujata Ghosh (ISI Chennai)

Time: 15:00 -17:00 (Jun. 13th)

Abstract:  In distributed games, every player sees only the local game arena, and announces potential joint moves with other players. The global arena resolves these and the game proceeds. We propose a simple two-level logic to reason in such games, with one layer of local formulas for each player, and the global formulas that bring about the interplay between local and global reasoning. We present a complete axiom system for valid formulas and show decidability. This logic is a descriptive one at the level of actions and outcomes in a game. We end with a discussion on strategic reasoning in such distributed games.

This talk is based on joint work with Lei Li, Fenrong Liu and R. Ramanujam.