{"id":2690,"date":"2017-03-23T18:05:52","date_gmt":"2017-03-23T10:05:52","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=2690"},"modified":"2017-04-19T19:26:49","modified_gmt":"2017-04-19T11:26:49","slug":"yu-junhua-self-referentiality-in-justification-logics","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2017\/03\/yu-junhua-self-referentiality-in-justification-logics\/","title":{"rendered":"Yu, Junhua: Self-referentiality in justification logics"},"content":{"rendered":"
\"\"<\/a>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c62\u671f<\/strong><\/h5>\n

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

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

S. Artemov\u2019s justification logic (JL) can be seen as an explicit version of modal logic (ML). Instead of modality \\Box, JL has inductively defined terms in its language, and formula t:\\phi means term t is a justification of formula \\phi. The formal link between ML and JL is called \u2018realization\u2019, via which ML\u2019s get their \u2018constructive semantics\u2019. A realization of a ML-theorem \\phi is a theorem in the corresponding JL gained by carefully replace each occurrence of \\Box in \\phi by an appropriate JL-term that reveals the hidden constructive meaning of the replaced \\Box-occurrence. R. Kuznets showed that self-referential JL-formulas of the form t:\\phi(t) are necessary in realizing several ML\u2019s including S4, via which intuitionistic propositional logic IPC receives its provability BHK-interpretations in Godel-Artemov approach.. In this talk, the speaker will present several results he got in recent years concerning image of self-referentiality on the modal and propositional layer.<\/p>\n

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

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

Junhua Yu: Self-referentiality of Brouwer\u2013Heyting\u2013Kolmogorov semantics. APAL 165(1) 371\u2013388 (2014).
\nJunhua Yu: On non-self-referential fragments of modal logics. APAL 168(4) 776\u2013803 (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><\/p>\n

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

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c62\u671f Speaker: Dr. Junhua Yu Date & Time: 14 April 2017 (Friday), 13:30 \u2013 15:00 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Abstract: S. Artemov\u2019s justification logic (JL) can be seen as an explicit version of …<\/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-2690","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\/2690","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=2690"}],"version-history":[{"count":7,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2690\/revisions"}],"predecessor-version":[{"id":2996,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2690\/revisions\/2996"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=2690"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=2690"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=2690"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}