Modality, Provability, and Fixed-Points
Johan van Benthem

We give a short history of connections between provability logic and modal fixed-point logics, and explore some open problems that arise because of various analogies and differences.