Alladi Ramakrishnan Hall

A Logical Study of Improvement Graphs formed from Games

Ramit Das

IMSc

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
us06web.zoom.us/j/83360475181?pwd=Z1RjK1p1VWgxbitMNExpQjlKU1Z0dz09

Meeting ID: 833 6047 5181
Passcode: 909229