Fragments and Frame Classes. Towards a Uniform Proof Theory for Modal Fixed Point Logics
Logic
Jan Rooduijn will defend the dissertation 'Fragments and Frame Classes. Towards a Uniform Proof Theory for Modal Fixed Point Logics'. Supervisor is Prof. Y. Venema. The co-supervisor is Dr J.F. Marti.
Event details of
Fragments and Frame Classes. Towards a Uniform Proof Theory for Modal Fixed Point Logics
- Date
- 31 January 2024
- Time
- 11:00 -12:30
- Location
- Aula - Lutherse kerk
You can find UvA dissertations and other publications in the UvA-DARE database.
You can watch this PhD defence ceremony here.
