Lewis and Brouwer meet Strong Löb

Albert Visser, Tadeusz Litak

We study the principle phi implies box phi, known as `Strength' or `the Completeness Principle', over the constructive version of Löb's Logic. We consider this principle both for t…