Provability logic. (2004)

by S Artemov, L Beklemishev
Venue:Handbook of Philosophical Logic, 2nd ed.,