西溪逻辑论坛第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 Yu, Junhua: Self-referentiality in justification logics