Non-Classical Modal and Predicate Logics (NCMPL’17)
Please visit: http://ncmpl.org/
Continue reading →Yì N. Wáng
Delta 7 Logic Workshop
Venue: Room Z201, Mechanical Engineering Building, Beijing Jiaotong University, Beijing Time: 23 September 2017 Please visit: http://faculty.bjtu.edu.cn/media/rte/file/2017/9/14/1505372598.html
Continue reading →Invited talks by Ryuta Arisaka [2017-06-14/16]
Xixi Logic Seminars #70 Speaker: Ryuta Arisaka (National Institute of Informatics, Japan) Date & Time: 14-16 June 2017 Place: Seminar Room #259, Main teaching building, Xixi campus, Zhejiang University BI Proof theory (14 June 2017, 10:00-11:30 AM) BI is a … Continue reading →