Please note that this newsitem has been archived, and may contain outdated information or links.
4 July 2023, Master of Logic defense, Yunsong Wang
Candidate: Yunsong Wang
Title: General Frames of the Polymodal Provability Logic
Date: Tuesday 4 July 2023
Time: 13:00
Location: Room F1.15, Science Park 107, Amsterdam
Supervisor: Lev Beklemishev
Please note that this newsitem has been archived, and may contain outdated information or links.