Cyclic Proof Systems for Modal Fixpoint Logics
Logic
Guille Menéndez Turata will defend the dissertation 'Cyclic Proof Systems for Modal Fixpoint Logics'. Supervisor is Prof. Y. Venema. The co-supervisor is Dr B. Afshari.
Event details of
Cyclic Proof Systems for Modal Fixpoint Logics
- Date
- 30 January 2024
- Time
- 13:00 -14:30
- Location
- Agnietenkapel
You can find UvA dissertations and other publications in the UvA-DARE database.
You can watch this PhD defence ceremony here.
