Provability Logic and the Completeness Principle - Albert Visser; Jetze Zoethout (2018)