HomeZJU EventsWorkshopsWorkshop on Modal Logic (Hangzhou, 2017)