Definability theorems in normal extensions of provability logic. Studia Logica 4:495--507 (1989)

by L Maksimova
Venue:Studia Logica