Constructive Provability Logic

Robert J. Simmons, Bernardo Toninho

We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over prova…