Xixi Logic Seminars #29 Speaker: Prof. Hans van Ditmarsch (LORIA / CNRS; IMSc) Date & Time: 29 March 2016 (Tuesday), 15:55 – 17:30 Place: 1A-214, East Teaching Building, Zijingang campus, Zhejiang University Logic puzzles In this seminar I will introduce … Continue reading →
Slides: MalagaMooreFitch
Continue reading →Xixi Logic Seminars #28 Lecturers: Thomas Ågotnes (Professor at the University of Bergen, Thomas.Agotnes@infomedia.uib.no) Hans van Ditmarsch (CNRS Senior Researcher, hans.van-ditmarsch@loria.fr) Topics: Epistemic Logic (SEL1-slides) Background reading: Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi. An … Continue reading →
