{"id":1158,"date":"2011-11-14T22:13:06","date_gmt":"2011-11-14T22:13:06","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1158"},"modified":"2011-12-13T10:13:32","modified_gmt":"2011-12-13T10:13:32","slug":"1158","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2011\/11\/1158\/","title":{"rendered":"Special Session LIRa Seminar on Logic and Games"},"content":{"rendered":"

Thursday 15 December<\/strong> we will have a special LIRa session on Logic and Games<\/strong>.<\/p>\n

The session will start at 15:00 hrs<\/strong>, and will take place in A1.08 <\/strong>in Science Park. The special session will have the following program:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
<\/td>\n<\/tr>\n
15:00-15:40<\/td>\n<\/td>\nJohan van Benthem
\n<\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n<\/em>(Amsterdam and Stanford)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n“Keeping it Simple” in a Theory of Play<\/strong><\/em><\/td>\n<\/tr>\n
\n

In the art of modeling, it often holds that ‘small is beautiful’. I will discuss various logical models for analyzing games, and the dynamic logics they give rise to, trying to make upward jumps in complexity only when really needed. I also relate this to best design for a ‘Theory of Play’.<\/p><\/blockquote>\n<\/td>\n<\/tr>\n

<\/td>\n<\/tr>\n
15:40-15:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
15:50-16:00<\/td>\n<\/td>\nCoffee Break<\/td>\n<\/tr>\n
\n
\n<\/td>\n<\/tr>\n
16:00-16:40<\/td>\n<\/td>\nPaolo Turrini <\/strong>and Davide Grossi
\n<\/strong><\/td>\n<\/tr>\n
<\/td>\n<\/td>\n(Luxembourg and Liverpool)<\/em><\/td>\n<\/tr>\n
<\/td>\n<\/td>\nShort Sight in Extensive Games<\/em><\/strong><\/td>\n<\/tr>\n
\n

I will talk about a class of games in extensive form where players take strategic decisions while not having access to the terminal histories of the game, hence being unable to solve it by standard backwards induction. This class of games will be explored along two directions: first, by providing an appropriate refinement of the subgame perfect equilibrium concept, a corresponding extension of the backwards induction algorithm and an equilibrium existence theorem; second, by showing that these games are a well-behaved subclass of a class of games with possibly unaware players recently studied in the literature. What I will present is joint work with Davide Grossi, University of Liverpool.<\/p><\/blockquote>\n<\/td>\n<\/tr>\n

16:40-16:50<\/td>\n<\/td>\nQuestions and Discussion<\/td>\n<\/tr>\n
<\/td>\n<\/tr>\n
16:50-17:00<\/td>\n<\/td>\nCoffee Break<\/td>\n<\/tr>\n
17:00-17:15<\/td>\n<\/td>\nGeneral Discussion & Drinks<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Thursday 15 December we will have a special LIRa session on Logic and Games.
\nThe session will start at 15:00 hrs, and will take place in A1.08 in Science Park. The special session will have the following program:<\/p>\n

15:00-15:40<\/p>\n

Johan van Benthem<\/p>\n

(Amsterdam and Stanford)<\/p>\n

“Keeping it Simple” in a Theory of Play<\/p>\n

In the art of modeling, it often […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1158","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1158","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1158"}],"version-history":[{"count":13,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1158\/revisions"}],"predecessor-version":[{"id":1164,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1158\/revisions\/1164"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1158"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1158"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1158"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}