Room 327

A logical Study of Improvement Graphs formed from Games

Ramit Das

IMSc,TIFR

The issues of modelling or formalising game theoretic properties like Nash Equilibrium, Finite Improvement Property, Weak Acyclicity of various game forms is addressed through the lens of logic. We present different candidate logics with varying degrees of usefulness to expressivity concerns for different game forms.
The *expressive powers*, the *model checking* properties and also *completeness* proofs of decidable fragments of logics tailored to the game theoretic requirements are focused on.

This is a PhD Defence talk, it will be held in hybrid mode.

Join Zoom Meeting
zoom.us/j/98206472628

Meeting ID: 982 0647 2628
Passcode: 560304