{"id":2686,"date":"2017-03-23T18:02:47","date_gmt":"2017-03-23T10:02:47","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=2686"},"modified":"2017-04-19T19:27:59","modified_gmt":"2017-04-19T11:27:59","slug":"yu-junhua-a-hyper-sequent-calculus-for-the-instantial-neighborhood-logic","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2017\/03\/yu-junhua-a-hyper-sequent-calculus-for-the-instantial-neighborhood-logic\/","title":{"rendered":"Yu, Junhua: A hyper-sequent calculus for the instantial neighborhood logic"},"content":{"rendered":"
\"\"<\/a>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c61\u671f<\/strong><\/h5>\n

Speaker:<\/strong> Dr. Junhua Yu
\nDate & Time:<\/strong> 13 April 2017 (Thursday), 14:00 \u2013 15:30
\nPlace:<\/strong> Seminar room #259, Main teaching building, Xixi campus, Zhejiang University<\/p>\n

Abstract:<\/strong><\/p>\n

Instantial neighborhood logic (INL) generalizes neighborhood logic (NL) by a language extension. Instead of \\Box\\phi (which means, the current state has a neighborhood in which \\phi holds everywhere), INL has formulas like \\Box(\\phi_1,\u2026,\\phi_j;\\phi_0) (which means, \u2018\\Box\\phi_0\u2019 holds as in NL, and moreover in the evidential neighborhood \\phi_1,\u2026,\\phi_j each holds somewhere resp.). In this talk, we will present a hyper-sequent calculus for INL that admits Cut, enjoys sub-formula property, and gives a way leading to a constructive proof of INL\u2019s Lyndon interpolation.<\/p>\n

Slides<\/a><\/strong><\/span><\/p>\n

Reference:<\/strong> Johan van Benthem, et.al.: Instantial neighbourhood logic. RSL 10(1) 116-144 (2017).<\/p>\n

\uff08\u672c\u6d3b\u52a8\u53d7\u4e2d\u592e\u9ad8\u6821\u57fa\u672c\u79d1\u7814\u4e1a\u52a1\u8d39\u4e13\u9879\u8d44\u91d1\u8d44\u52a9\uff09<\/p>\n

\"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a> \"\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c61\u671f Speaker: Dr. Junhua Yu Date & Time: 13 April 2017 (Thursday), 14:00 \u2013 15:30 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Abstract: Instantial neighborhood logic (INL) generalizes neighborhood logic (NL) by a language extension. Instead …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2686","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2686","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=2686"}],"version-history":[{"count":6,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2686\/revisions"}],"predecessor-version":[{"id":2997,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2686\/revisions\/2997"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=2686"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=2686"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=2686"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}