西溪逻辑论坛第61期

Speaker: Dr. Junhua Yu
Date & Time: 13 April 2017 (Thursday), 14:00 – 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 of \Box\phi (which means, the current state has a neighborhood in which \phi holds everywhere), INL has formulas like \Box(\phi_1,…,\phi_j;\phi_0) (which means, ‘\Box\phi_0’ holds as in NL, and moreover in the evidential neighborhood \phi_1,…,\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’s Lyndon interpolation.

Slides

Reference: Johan van Benthem, et.al.: Instantial neighbourhood logic. RSL 10(1) 116-144 (2017).

（本活动受中央高校基本科研业务费专项资金资助）