On the provability logic of bounded arithmetic (1993)

by A Berarducci, R Verbrugge
Venue:Annals of Pure and Applied Logic