The logic of provability - Jongh, Dick de; Japaridze, Georgi (Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series, 1997)