An abstract look at the fixed-point theorem for provability logic. (English) Zbl 07920706
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 75-88 (2024).