{"id":3625,"date":"2018-10-07T16:20:19","date_gmt":"2018-10-07T14:20:19","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=3625"},"modified":"2018-11-25T09:00:49","modified_gmt":"2018-11-25T08:00:49","slug":"lira-session-johan-van-benthem-2","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2018\/10\/lira-session-johan-van-benthem-2\/","title":{"rendered":"LIRa Session: Johan van Benthem"},"content":{"rendered":"<p>Speaker:\u00a0<a href=\"https:\/\/staff.science.uva.nl\/j.vanbenthem\/\">Johan van Benthem<\/a><\/p>\n<p>Date and Time: Thursday, November&nbsp;29th 2018, 17:00-18:30<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107.<\/p>\n<p><strong>Title: Graph Games and Logic Design.<\/strong><\/p>\n<p><em>Abstract.<\/em> Graph games are widely used recreationally and for computational purposes.\u00a0We analyze some main varieties of graph games and show how they suggest\u00a0 design of matching modal logics with interesting properties. Some recent\u00a0results, many obtained by colleagues and students in China and Stanford,\u00a0 will be presented to show the interest of this particular concrete way of\u00a0 connecting logic and games. But there will also be open problems.<\/p>\n<p>(Joint work with Fenrong Liu)<\/p>\n<p><span style=\"text-decoration: underline;\">References<\/span><\/p>\n<p>J. van Benthem, 2014, <em>Logic in Games<\/em>, The MIT Press.<\/p>\n<p>J. van Benthem\u00a0&amp; F. Liu, 2018, Graph Games and Logic Design,\u00a0Tsinghua University Journal.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker:\u00a0Johan van Benthem<br \/>\nDate and Time: Thursday, November&nbsp;29th 2018, 17:00-18:30<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107.<br \/>\nTitle: Graph Games and Logic Design.<br \/>\nAbstract. Graph games are widely used recreationally and for computational purposes.\u00a0We analyze some main varieties of graph games and show how they suggest\u00a0 design of matching modal logics with interesting properties. Some recent\u00a0results, many obtained [&#8230;]<\/p>\n","protected":false},"author":12,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3625","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\/3625","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\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=3625"}],"version-history":[{"count":4,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3625\/revisions"}],"predecessor-version":[{"id":3668,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/3625\/revisions\/3668"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=3625"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=3625"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=3625"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}