HomeZJU EventsWorkshopsShort Course on Epistemic Logic [from 2016-03-17]