Dr. Junhua Yu from Tsinghua University is going to visit CSLC in April. During his visit he will give two talks at the Center. For more details please click the links below: Yu, Junhua: A hyper-sequent calculus for the instantial … Continue reading →
西溪逻辑论坛第62期 Speaker: Dr. Junhua Yu Date & Time: 14 April 2017 (Friday), 13:30 – 15:00 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Abstract: S. Artemov’s justification logic (JL) can be seen as an explicit version of … Continue reading →
西溪逻辑论坛第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 … Continue reading →
