Niet-welgefundeerde bewijstheorie van modale fixpuntlogica
Logica
Johannes Kloibhofer promoveert op het proefschrift: 'Cycles with Annotations. Non-Wellfounded Proof Theory of Modal Fixpoint Logics'. Promotor is prof. dr. Y. Venema. Copromotor is prof. B. Afshari.
Kerngegevens van evenement
Niet-welgefundeerde bewijstheorie van modale fixpuntlogica
- Datum
- 13 maart 2026
- 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.
