Please note that this newsitem has been archived, and may contain outdated information or links.
8 June 2023, Logic and Interactive Rationality (LIRa), Jan Rooduijn
Speaker: Jan Rooduijn (ILLC)
Title: An analytic proof system for common knowledge logic over S5
Date: Thursday 8 June 2023
Time: 16:30-18:00
Location: KdVI Seminar Room F3.20, Science Park 107, Amsterdam / online (Zoom)
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2023/05/lira-session-jan-rooduijn/.
Please note that this newsitem has been archived, and may contain outdated information or links.