On the provability logic of bounded arithmetic