Yu, Junhua: A hyper-sequent calculus for the instantial neighborhood logic
西溪逻辑论坛第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 →