Een uniforme bewijstheorie voor modale vaste-puntlogica
Logica
Jan Rooduijn promoveert op het proefschrift: 'Fragments and Frame Classes. Towards a Uniform Proof Theory for Modal Fixed Point Logics'. Promotor is prof. dr. Y. Venema. Copromotor is dr. J.F. Marti.
Kerngegevens van evenement
Een uniforme bewijstheorie voor modale vaste-puntlogica
- Datum
- 31 januari 2024
- Tijd
- 11:00 -12:30
- Locatie
- Aula - Oude Lutherse kerk
Op zoek naar een proefschrift? Bekijk de database van UvA-DARE voor alle publicaties.
Deze promotie is hier live te volgen.
