Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics
Logic
Johannes Kloibhofer will defend the dissertation 'Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics'. Supervisor is Prof. Y. Venema. The co-supervisor is prof. B. Afshari.
Event details of
Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics
- Date
- 13 March 2026
- 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.
