BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1295
DTSTAMP:20230921T105046Z
SUMMARY:Some results at the Intersection of Game Theory and Logic
DESCRIPTION:Speaker: Ramit Das (The Institute of Mathematical Sciences (IMS
 c)\, Chennai)\n\nAbstract: \nWe shall address the issues of modelling or f
 ormalising  game theoretic properties like Nash Equilibrium\, Finite Impr
 ovement Property\, Weak Acyclicity of various game forms in various kinds 
 of logic. We shall investigate the _expressive powers_ offered by each log
 ic\, the _model checking_ theorems and also a _completeness_ proof  of a 
 decidable logic variant. We hope that this investigation would  have an i
 mpact on the formalisation of game theory and its allied areas like comput
 ational social choice theory.\n
URL:https://www.tcs.tifr.res.in/web/events/1295
DTSTART;TZID=Asia/Kolkata:20230518T110000
DTEND;TZID=Asia/Kolkata:20230518T120000
LOCATION:A201
END:VEVENT
END:VCALENDAR