{"id":2657,"date":"2015-02-06T14:08:55","date_gmt":"2015-02-06T13:08:55","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=2657"},"modified":"2015-02-20T18:43:12","modified_gmt":"2015-02-20T17:43:12","slug":"lira-session","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2015\/02\/lira-session\/","title":{"rendered":"LIRa Session: Junhua Yu"},"content":{"rendered":"<p>On Friday, February\u00a013th, we will have a LIRa session with <strong>Junhua Yu<\/strong>.<\/p>\n<p>Everyone is cordially invited!<\/p>\n<div>\n<p>Speaker:\u00a0<strong>Junhua Yu<\/strong>\u00a0(Tsinghua University)<br \/>\nDate and Time: Friday, February 13th, 2015,\u00a0<strong>14:30-16:00<br \/>\n<\/strong>Venue: Science Park 107, Room\u00a0<strong>F1.15<\/strong><\/p>\n<p style=\"text-align: justify;\">Title:\u00a0<strong>Instantiable neighbourhood<\/strong> (joint work with Johan van Benthem and Nick Bezhanishvili)<br \/>\nAbstract:\u00a0Neighbourhood semantics of modal logic reads the truth of []Y on state\u00a0S\u00a0as &#8216;S has\u00a0a neighbourhood in which Y is true everywhere&#8217;. What we considered is an extension of the language by formulas [](X1, &#8230;, Xn; Y), which intended to mean &#8216;S has\u00a0a neighbourhood in which Y is true everywhere and each Xi is true somewhere&#8217;. In this talk, we will\u00a0look at\u00a0the expressive power and\u00a0proof systems\u00a0of the extended language. This is an undergoing joint work with Johan van Benthem and Nick Bezhanishvili.<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>On Friday, February\u00a013th, we will have a LIRa session with Junhua Yu.<br \/>\nEveryone is cordially invited!<\/p>\n<p>Speaker:\u00a0Junhua Yu\u00a0(Tsinghua University)<br \/>\nDate and Time: Friday, February 13th, 2015,\u00a014:30-16:00<br \/>\nVenue: Science Park 107, Room\u00a0F1.15<br \/>\nTitle:\u00a0Instantiable neighbourhood (joint work with Johan van Benthem and Nick Bezhanishvili)<br \/>\nAbstract:\u00a0Neighbourhood semantics of modal logic reads the truth of []Y on state\u00a0S\u00a0as &#8216;S has\u00a0a neighbourhood in which Y is [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-2657","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\/2657","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=2657"}],"version-history":[{"count":5,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2657\/revisions"}],"predecessor-version":[{"id":2668,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/2657\/revisions\/2668"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=2657"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=2657"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=2657"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}