Cyclische bewijssystemen voor modale fixpointlogica
Logica
Guille Menéndez Turata promoveert op het proefschrift: 'Cyclic Proof Systems for Modal Fixpoint Logics'. Promotor is prof. dr. Y. Venema. Copromotor is dr. B. Afshari.
Kerngegevens van evenement
Cyclische bewijssystemen voor modale fixpointlogica
- Datum
- 30 januari 2024
- Tijd
- 13:00 -14:30
- Locatie
- Agnietenkapel
Op zoek naar een proefschrift? Bekijk de database van UvA-DARE voor alle publicaties.
Deze promotie is hier live te volgen.
