HomeZJU EventsInvited TalksYu, Junhua: A hyper-sequent calculus for the instantial neighborhood logic