Joost J. Joosten: Minimal Logics for Incompleteness
This talk is part of the "Online International Workshop on Gödel's Incompleteness Theorems" at Wuhan University in China.
For all slides of lectures of this workshop, see the link:
https://goedel2021.carrd.co/#slides
To learn more about this workshop, see the workshop website: https://goedel2021.carrd.co