Tuesday, April 26 2022
16:00 - 17:30

Alladi Ramakrishnan Hall

A Logical Study of Improvement Graphs formed from Games

Ramit Das


In the study of Game theory, we come across the structure of Improvement Graphs. Over finite pure nash equilibria one-shot games this corresponds to a labelled digraph. This structure embeds in itself properties that can characterise classes of games. Towards this exploration we employ logics such as the fixed point logic and the propositional modal logic to reason about these classes of games. In this seminar, we present these logics and results on their model checking, decidabilityand axiomatization.

This is a synopsis talk of Ramit Das. If you wish to attend the same online, the link is as below.

Join Zoom Meeting

Meeting ID: 833 6047 5181
Passcode: 909229

Download as iCalendar