An Abstract Look at the Fixed-Point Theorem for Provability Logic
摘要
In this brief note, I discuss some general backgrounds of the well-known Fixed-Point Theorem for Provability Logic, taking my cues from an elegant abstract argument by Dick de Jongh in the 1980s.