西溪逻辑论坛第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 →
西溪逻辑论坛第54期 Speaker: Dr. Guifei Jiang Date & Time: 30 December 2016 (Friday), 10:00 – 11:30 Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University Abstract: This presentation aims to propose a logical framework for representing and reasoning about … Continue reading →
