On systems of modal logic with provability interpretations
universally provable provability schema of PA
scientific article